Details

Time bar (total: 29.6s)

sample26.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify6.4s

Counts
1 → 1
Iterations

Useful iterations: 7 (4.9s)

IterNodesCost
01229
12029
23828
38728
425328
565728
6152726
7391722
done500022

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

rewrite63.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:
15.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)))
14.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series382.0ms

Counts
4 → 12
Calls
4 calls:
57.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))
78.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
71.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify4.2s

Counts
188 → 188
Iterations

Useful iterations: done (4.2s)

IterNodesCost
02476374
15495726
213994152
344883341
done50003339

prune487.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite522.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:
272.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))))))
7.0ms
(pow (/ 2.0 (fma 1.0 t 1.0)) 3)
111.0ms
(- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
39.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series826.0ms

Counts
4 → 12
Calls
4 calls:
209.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))))))
71.0ms
(pow (/ 2.0 (fma 1.0 t 1.0)) 3)
485.0ms
(- (pow 2.0 3) (pow (/ 2.0 (fma 1.0 t 1.0)) 3))
60.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify4.5s

Counts
711 → 711
Iterations

Useful iterations: 2 (2.0s)

IterNodesCost
067540665
1154731233
2487323114
done500023114

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

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

rewrite112.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:
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
34.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
26.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
26.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series221.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
61.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
46.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
50.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

prune548.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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

rewrite84.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:
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
20.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
16.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
13.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series259.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
57.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
78.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
70.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

prune460.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes34.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01745
11945
done1945

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s8000×body80valid