Details

Time bar (total: 12.3s)

sample25.0ms

Algorithm
intervals
Results
14.0ms511×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5001
82849
7896
6364
5184
4100
346
225
111
06

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (- (* x x) 1.0))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
4×exp-prod add-log-exp
3×add-sqr-sqrt
2×*-un-lft-identity exp-sum add-cube-cbrt rem-exp-log
1×pow1 sub-neg add-cbrt-cube exp-diff diff-log add-exp-log difference-of-squares
Counts
1 → 16
Calls
1 calls:
17.0ms
(exp (- (* x x) 1.0))

series26.0ms

Counts
1 → 3
Calls
1 calls:
26.0ms
(exp (- (* x x) 1.0))

simplify2.0s

Counts
19 → 19
Iterations
IterNodes
done5001
42248
3543
2162
174
038

prune73.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (exp (* x x)) (exp 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube associate-/l*
1×pow1 cbrt-undiv clear-num frac-2neg div-exp add-exp-log div-inv add-log-exp
Counts
1 → 27
Calls
1 calls:
9.0ms
(/ (exp (* x x)) (exp 1.0))

series94.0ms

Counts
1 → 3
Calls
1 calls:
94.0ms
(/ (exp (* x x)) (exp 1.0))

simplify2.8s

Counts
30 → 30
Iterations
IterNodes
done5133
43910
3907
2267
1124
062

prune193.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (+ x (sqrt 1.0)))
0.0b
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×exp-prod
6×pow-unpow add-cube-cbrt
5×pow-pow add-log-exp
4×unpow-prod-down
3×pow1
2×unpow-prod-up add-cbrt-cube exp-sum add-exp-log distribute-lft-out difference-of-squares rem-exp-log
1×pow-to-exp sum-log sub-neg pow-exp sqrt-prod distribute-lft-out-- pow-sub sqr-pow
Counts
2 → 42
Calls
2 calls:
16.0ms
(exp (+ x (sqrt 1.0)))
33.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

series245.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(exp (+ x (sqrt 1.0)))
221.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

simplify2.1s

Counts
48 → 48
Iterations
IterNodes
done5000
32388
2622
1213
084

prune246.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes54.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample1.1s

Algorithm
intervals
Results
805.0ms16074×body80valid