Details

Time bar (total: 11.8s)

sample42.0ms

Algorithm
intervals
Results
22.0ms506×body80valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 4 (31.0ms)

IterNodesCost
067
1117
2257
3447
4706
51326
63776
713556
done50006

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite29.0ms

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

series35.0ms

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

simplify3.8s

Counts
19 → 19
Iterations

Useful iterations: 5 (2.1s)

IterNodesCost
038151
169147
2149134
3385130
41203130
54594129
done5001129

prune48.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
42×sqrt-pow1
40×sqrt-prod
36×exp-prod
23×add-cube-cbrt *-un-lft-identity
21×pow1
18×exp-sum
12×swap-sqr
10×pow1/2
9×sub-neg pow-prod-up difference-of-squares
8×associate-*r* associate-*l*
7×exp-diff pow-prod-down pow-sqr add-log-exp
6×add-exp-log sqrt-div add-cbrt-cube
4×unswap-sqr
2×rem-sqrt-square rem-exp-log
1×pow2 frac-times pow-plus sqrt-unprod diff-log associate-*r/ associate-*l/ prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 128
Calls
4 calls:
26.0ms
(exp (- (* x x) 1.0))
31.0ms
(sqrt (exp (- (* x x) 1.0)))
31.0ms
(sqrt (exp (- (* x x) 1.0)))
163.0ms
(* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))

series194.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(exp (- (* x x) 1.0))
63.0ms
(sqrt (exp (- (* x x) 1.0)))
66.0ms
(sqrt (exp (- (* x x) 1.0)))
34.0ms
(* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))

simplify1.4s

Counts
140 → 140
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01141892
12121337
25541208
316411157
done50001117

prune317.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes31.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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
done56

end0.0ms

sample865.0ms

Algorithm
intervals
Results
497.0ms16012×body80valid