Details

Time bar (total: 22.8s)

sample52.0ms

Algorithm
intervals
Results
23.0ms335×body80valid

simplify5.9s

Counts
1 → 1
Iterations

Useful iterations: 7 (3.8s)

IterNodesCost
01213
12213
25012
312311
429811
559711
6126211
7492410
done500010

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 0.25 (/ (- z x) y))
0.0b
(fma 4.0 (- 0.25 (/ (- z x) y)) 1.0)
0.0b
(/ (- z x) y)

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
91×add-sqr-sqrt
88×*-un-lft-identity
61×times-frac
60×add-cube-cbrt
57×prod-diff
15×difference-of-squares
14×distribute-lft-out--
5×add-exp-log add-cbrt-cube associate-/l* add-log-exp
4×div-inv
3×pow1 expm1-log1p-u fma-neg associate-/r* log1p-expm1-u
2×flip3-- div-sub flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num fma-udef associate--r-
Counts
3 → 128
Calls
3 calls:
53.0ms
(- 0.25 (/ (- z x) y))
1.0ms
(fma 4.0 (- 0.25 (/ (- z x) y)) 1.0)
29.0ms
(/ (- z x) y)

series131.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(- 0.25 (/ (- z x) y))
56.0ms
(fma 4.0 (- 0.25 (/ (- z x) y)) 1.0)
48.0ms
(/ (- z x) y)

simplify3.9s

Counts
137 → 137
Iterations

Useful iterations: done (3.9s)

IterNodesCost
02373748
15973399
225202575
done50002084

prune661.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 4.0 (/ x y) 2.0)
0.0b
(* 4.0 (/ z y))
0.0b
(- (fma 4.0 (/ x y) 2.0) (* 4.0 (/ z y)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity associate-*r*
10×times-frac
8×add-exp-log add-cbrt-cube
5×pow1 add-log-exp
3×expm1-log1p-u fma-neg associate-*l* prod-diff log1p-expm1-u
2×prod-exp cbrt-unprod fma-udef unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log associate-*r/ div-exp pow-prod-down associate--l+ *-commutative flip-- div-inv
Counts
3 → 65
Calls
3 calls:
1.0ms
(fma 4.0 (/ x y) 2.0)
33.0ms
(* 4.0 (/ z y))
15.0ms
(- (fma 4.0 (/ x y) 2.0) (* 4.0 (/ z y)))

series130.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(fma 4.0 (/ x y) 2.0)
34.0ms
(* 4.0 (/ z y))
54.0ms
(- (fma 4.0 (/ x y) 2.0) (* 4.0 (/ z y)))

simplify1.1s

Counts
74 → 74
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0115833
1297796
21132719
done5001683

prune580.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y))) 1.0)
0.0b
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y)))
0.0b
(/ (- z x) y)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
15×times-frac
13×add-cube-cbrt
5×add-exp-log add-cbrt-cube associate-/l*
4×distribute-lft-out-- difference-of-squares
3×pow1 expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
2×fma-udef associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- div-inv
Counts
3 → 60
Calls
3 calls:
1.0ms
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y))) 1.0)
1.0ms
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y)))
40.0ms
(/ (- z x) y)

series391.0ms

Counts
3 → 9
Calls
3 calls:
176.0ms
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y))) 1.0)
125.0ms
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ (- z x) y)))
89.0ms
(/ (- z x) y)

simplify3.7s

Counts
69 → 69
Iterations

Useful iterations: done (3.7s)

IterNodesCost
0110902
1225877
2713707
34178632
done5000629

prune601.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x))))) 1.0)
0.0b
(/ y (- z x))
0.0b
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x)))))
0.3b
(/ 1 (/ y (- z x)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
104×add-sqr-sqrt *-un-lft-identity
72×add-cube-cbrt
26×associate-/r*
17×add-exp-log
16×distribute-lft-out-- difference-of-squares
11×associate-/r/ add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×pow1 flip3-- flip--
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num fma-udef
1×pow-flip inv-pow
Counts
4 → 169
Calls
4 calls:
1.0ms
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x))))) 1.0)
37.0ms
(/ y (- z x))
1.0ms
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x)))))
40.0ms
(/ 1 (/ y (- z x)))

series444.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(fma 4.0 (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x))))) 1.0)
64.0ms
(/ y (- z x))
126.0ms
(fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (/ 1 (/ y (- z x)))))
90.0ms
(/ 1 (/ y (- z x)))

simplify2.1s

Counts
181 → 181
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02442648
15732279
229722082
done50001993

prune957.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes224.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01317
11517
done1517

end0.0ms

sample1.5s

Algorithm
intervals
Results
927.0ms10063×body80valid