Details

Time bar (total: 29.2s)

sample75.0ms

Algorithm
intervals
Results
62.0ms256×body80valid

simplify6.4s

Counts
1 → 1
Iterations

Useful iterations: 7 (4.8s)

IterNodesCost
01229
12029
23828
38728
425328
565728
6152726
7391722
done500022

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (fma 1.0 t 1.0))
0.0b
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
100×add-sqr-sqrt
94×*-un-lft-identity
90×add-cube-cbrt
78×prod-diff
74×times-frac
8×add-exp-log add-cbrt-cube div-inv add-log-exp
6×fma-neg associate-/r* associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u difference-of-squares
2×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- distribute-lft-out--
Counts
4 → 176
Calls
4 calls:
9.0ms
(/ 2.0 (fma 1.0 t 1.0))
5.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
19.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series333.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ 2.0 (fma 1.0 t 1.0))
177.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
54.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
52.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify3.9s

Counts
188 → 188
Iterations

Useful iterations: done (3.8s)

IterNodesCost
02476374
15495726
213994152
344883341
done50003339

prune464.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3)) (fma 2.0 2.0 (* (/ 2.0 (fma 1.0 t 1.0)) (+ 2.0 (/ 2.0 (fma 1.0 t 1.0))))))
0.1b
(pow (/ 2.0 (fma 1.0 t 1.0)) 3)
3.7b
(- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite476.0ms

Algorithm
rewrite-expression-head
Rules
606×add-sqr-sqrt
423×*-un-lft-identity prod-diff
401×times-frac
371×add-cube-cbrt
358×unpow-prod-down cube-prod
122×difference-of-squares
96×sqr-pow
46×cube-mult unpow3
33×associate-/l*
30×div-inv
26×distribute-lft-out--
15×fma-neg
9×add-exp-log add-cbrt-cube
8×add-log-exp
5×pow1 difference-cubes
4×expm1-log1p-u log1p-expm1-u
3×pow-unpow flip3-- associate-/r* flip--
2×cbrt-undiv sub-neg diff-log div-exp pow-exp associate-/l/ rem-cube-cbrt
1×cube-div pow-to-exp pow-pow frac-2neg div-sub clear-num
Counts
4 → 699
Calls
4 calls:
256.0ms
(/ (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3)) (fma 2.0 2.0 (* (/ 2.0 (fma 1.0 t 1.0)) (+ 2.0 (/ 2.0 (fma 1.0 t 1.0))))))
10.0ms
(pow (/ 2.0 (fma 1.0 t 1.0)) 3)
79.0ms
(- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series413.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(/ (- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3)) (fma 2.0 2.0 (* (/ 2.0 (fma 1.0 t 1.0)) (+ 2.0 (/ 2.0 (fma 1.0 t 1.0))))))
98.0ms
(pow (/ 2.0 (fma 1.0 t 1.0)) 3)
89.0ms
(- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
66.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify4.7s

Counts
711 → 711
Iterations

Useful iterations: 2 (2.0s)

IterNodesCost
067540665
1154731233
2487323114
done500023114

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
156×prod-diff
152×*-un-lft-identity
144×add-cube-cbrt
112×times-frac
12×fma-neg div-inv add-log-exp
8×difference-of-squares
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
4 → 236
Calls
4 calls:
19.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
22.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series192.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
54.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
48.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
40.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify3.8s

Counts
248 → 248
Iterations

Useful iterations: done (3.8s)

IterNodesCost
016410056
13918840
210095896
334434280
done50002472

prune447.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
3.7b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
156×prod-diff
152×*-un-lft-identity
144×add-cube-cbrt
112×times-frac
12×fma-neg div-inv add-log-exp
8×difference-of-squares
4×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
Counts
4 → 236
Calls
4 calls:
27.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
27.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
37.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
14.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series235.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
48.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
41.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
78.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify4.3s

Counts
248 → 248
Iterations

Useful iterations: done (4.3s)

IterNodesCost
016410056
13918840
210095896
334434280
done50002472

prune592.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes37.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01745
11945
done1945

end0.0ms

sample1.1s

Algorithm
intervals
Results
868.0ms8000×body80valid