Details

Time bar (total: 12.4s)

sample91.0ms

Algorithm
intervals
Results
46.0ms110×body1280valid
20.0ms78×body640valid
6.0ms42×body320valid
5.0ms228×body80nan
1.0ms19×body160valid
0.0ms7×body80valid

simplify10.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
1158
2208
3238
done238

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
5.4b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/l*
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1
2×expm1-log1p-u flip3-+ div-exp rem-log-exp flip-+ log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div flip3-- frac-2neg div-sub clear-num log-pow flip--
Counts
2 → 87
Calls
2 calls:
22.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
10.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series166.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
132.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify1.2s

Counts
93 → 93
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01471318
13551247
28811184
321801154
done50011137

prune189.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* eps eps) (fma (/ eps 1.0) (/ eps 1.0) eps))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt prod-diff add-log-exp
2×add-cube-cbrt *-un-lft-identity
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- fma-neg diff-log add-cbrt-cube flip-- fma-udef log1p-expm1-u associate--r+ difference-of-squares
Counts
1 → 20
Calls
1 calls:
9.0ms
(- (* eps eps) (fma (/ eps 1.0) (/ eps 1.0) eps))

series100.0ms

Counts
1 → 3
Calls
1 calls:
100.0ms
(- (* eps eps) (fma (/ eps 1.0) (/ eps 1.0) eps))

simplify1.4s

Counts
23 → 23
Iterations

Useful iterations: 3 (327.0ms)

IterNodesCost
054519
1127412
2362350
31625313
done5001313

prune62.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
0.0b
(- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
0.2b
(* (+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))) (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
54×prod-diff
53×add-sqr-sqrt
51×*-un-lft-identity
43×add-cube-cbrt
29×sqrt-prod
20×distribute-rgt-in distribute-lft-in
7×add-log-exp
6×associate-*r*
5×pow1 add-exp-log add-cbrt-cube
4×frac-times flip3-- flip3-+ associate-*l* flip-- flip-+ difference-of-squares
3×expm1-log1p-u sub-neg fma-def fma-neg log1p-expm1-u
2×associate-*r/ associate-*l/ distribute-lft-out distribute-lft-out--
1×+-commutative diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
3 → 127
Calls
3 calls:
7.0ms
(+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
11.0ms
(- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
48.0ms
(* (+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))) (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

series1.3s

Counts
3 → 9
Calls
3 calls:
87.0ms
(+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
94.0ms
(- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))
1.1s
(* (+ eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))) (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

simplify1.5s

Counts
136 → 136
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02046798
15534868
217603816
done50003015

prune271.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))) (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))))
0.3b
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
0.3b
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
0.3b
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
54×cbrt-prod
35×*-un-lft-identity
18×cbrt-div difference-of-squares
15×add-cube-cbrt
13×swap-sqr
11×pow1
9×flip3-- pow1/3 associate-*r* associate-*l* sqrt-prod flip-- distribute-lft-out--
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 117
Calls
4 calls:
47.0ms
(* (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))) (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))))
8.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
5.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
5.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

series1.7s

Counts
4 → 12
Calls
4 calls:
626.0ms
(* (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))) (cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps)))))
360.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
358.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))
361.0ms
(cbrt (- eps (sqrt (fma (/ eps 1.0) (/ eps 1.0) eps))))

simplify939.0ms

Counts
129 → 129
Iterations

Useful iterations: done (933.0ms)

IterNodesCost
02464694
16524315
224303953
done50003664

prune447.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

regimes66.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
done916

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.4s3433×body1280valid
559.0ms2485×body640valid
172.0ms7863×body80nan
162.0ms1240×body320valid
52.0ms642×body160valid
7.0ms200×body80valid