Details

Time bar (total: 13.9s)

sample35.0ms

Algorithm
intervals
Results
20.0ms511×body80valid

simplify4.2s

Counts
1 → 1
Iterations
IterNodes
done5020
83846
71065
6364
5151
487
348
225
111
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite19.0ms

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

series30.0ms

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

simplify2.2s

Counts
24 → 24
Iterations
IterNodes
done5002
42124
3593
2229
1116
062

prune73.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite17.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×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp add-exp-log log1p-expm1-u div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
16.0ms
(/ (exp (* x x)) (exp 1.0))

series135.0ms

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

simplify2.4s

Counts
32 → 32
Iterations
IterNodes
done5102
44228
31022
2287
1135
064

prune123.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.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)))

rewrite61.0ms

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

series281.0ms

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

simplify2.9s

Counts
70 → 70
Iterations
IterNodes
done5000
34591
21109
1418
0150

prune196.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes56.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample1.1s

Algorithm
intervals
Results
860.0ms16074×body80valid