Details

Time bar (total: 15.5s)

sample46.0ms

Algorithm
intervals
Results
24.0ms517×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5001
62602
5517
4140
349
225
111
06

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite25.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:
25.0ms
(exp (- (* x x) 1.0))

series36.0ms

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

simplify3.9s

Counts
24 → 24
Iterations
IterNodes
done5000
32000
2390
1120
062

prune80.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×expm1-log1p-u pow1 add-exp-log log1p-expm1-u
1×cbrt-undiv exp-prod clear-num frac-2neg exp-to-pow div-exp div-inv rem-exp-log
Counts
2 → 41
Calls
2 calls:
17.0ms
(/ (exp (* x x)) (exp 1.0))
6.0ms
(exp (* x x))

series112.0ms

Counts
2 → 6
Calls
2 calls:
86.0ms
(/ (exp (* x x)) (exp 1.0))
26.0ms
(exp (* x x))

simplify2.9s

Counts
47 → 47
Iterations
IterNodes
done5000
34743
2541
1146
072

prune170.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
15×unpow-prod-down
7×associate-/l*
5×sqr-pow
4×pow-pow add-cbrt-cube
3×pow1 pow-unpow exp-prod associate-/r* div-exp add-exp-log
2×expm1-log1p-u pow-to-exp pow-exp log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-inv
Counts
2 → 69
Calls
2 calls:
17.0ms
(/ (pow (exp x) x) (exp 1.0))
7.0ms
(pow (exp x) x)

series172.0ms

Counts
2 → 6
Calls
2 calls:
137.0ms
(/ (pow (exp x) x) (exp 1.0))
36.0ms
(pow (exp x) x)

simplify754.0ms

Counts
75 → 75
Iterations
IterNodes
done5000
2821
1240
0116

prune384.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
155×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
144×sqrt-prod
25×associate-/l*
12×associate-/r*
10×add-cbrt-cube
9×div-inv
8×add-exp-log
5×add-log-exp
4×cbrt-undiv div-exp
3×expm1-log1p-u pow1 log1p-expm1-u
2×clear-num frac-2neg
1×exp-prod exp-to-pow rem-exp-log associate-/l/
Counts
3 → 230
Calls
3 calls:
28.0ms
(/ (/ (exp (* x x)) (sqrt (exp 1.0))) (sqrt (exp 1.0)))
10.0ms
(/ (exp (* x x)) (sqrt (exp 1.0)))
4.0ms
(exp (* x x))

series308.0ms

Counts
3 → 9
Calls
3 calls:
115.0ms
(/ (/ (exp (* x x)) (sqrt (exp 1.0))) (sqrt (exp 1.0)))
177.0ms
(/ (exp (* x x)) (sqrt (exp 1.0)))
16.0ms
(exp (* x x))

simplify1.6s

Counts
239 → 239
Iterations
IterNodes
done5002
22647
1620
0274

prune767.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes58.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
done5
05

end0.0ms

sample914.0ms

Algorithm
intervals
Results
609.0ms16128×body80valid