Details

Time bar (total: 5.0s)

sample29.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
5.0ms256×pre80true

simplify8.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
176
2116
done116

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(sqrt (- 1.0 (* e e)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 *-un-lft-identity sqrt-div add-cube-cbrt
rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log flip-- add-log-exp difference-of-squares
Counts
1 → 16
Calls
1 calls:
10.0ms
(sqrt (- 1.0 (* e e)))

series128.0ms

Counts
1 → 3
Calls
1 calls:
128.0ms
(sqrt (- 1.0 (* e e)))

simplify722.0ms

Counts
19 → 19
Iterations

Useful iterations: done (720.0ms)

IterNodesCost
067246
1164220
2706206
done5000202

prune102.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sqrt (- (* 1.0 1.0) (pow e 4))) (sqrt (+ 1.0 (* e e))))
0.0b
(- (* 1.0 1.0) (pow e 4))
0.0b
(sqrt (- (* 1.0 1.0) (pow e 4)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
78×sqrt-prod
57×add-sqr-sqrt
54×times-frac
38×*-un-lft-identity add-cube-cbrt
27×difference-of-squares
unpow-prod-down associate-/l* sqr-pow
associate-/r* sqrt-div
add-cbrt-cube add-exp-log add-log-exp
pow1
flip3-- flip--
associate-/r/ associate-/l/
cbrt-undiv rem-sqrt-square sqrt-undiv clear-num sub-neg frac-2neg sqrt-pow1 flip3-+ pow1/2 diff-log div-exp flip-+ div-inv
Counts
3 → 119
Calls
3 calls:
73.0ms
(/ (sqrt (- (* 1.0 1.0) (pow e 4))) (sqrt (+ 1.0 (* e e))))
21.0ms
(- (* 1.0 1.0) (pow e 4))
31.0ms
(sqrt (- (* 1.0 1.0) (pow e 4)))

series595.0ms

Counts
3 → 9
Calls
3 calls:
220.0ms
(/ (sqrt (- (* 1.0 1.0) (pow e 4))) (sqrt (+ 1.0 (* e e))))
153.0ms
(- (* 1.0 1.0) (pow e 4))
221.0ms
(sqrt (- (* 1.0 1.0) (pow e 4)))

simplify1.6s

Counts
128 → 128
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02223019
14342727
221162637
done50002618

prune697.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes83.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
11215
done1215

end0.0ms

sample811.0ms

Algorithm
intervals
Results
396.0ms8000×body80valid
154.0ms8000×pre80true