Details

Time bar (total: 14.8s)

sample28.0ms

Algorithm
intervals
Results
12.0ms303×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
08164
115164
232139
373139
4171139
5291139
6413139
7493139
8547139
9962139
104378139
done5000139

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.2b
(fma (- y x) (* 6.0 z) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (- y x) (* 6.0 z) x)

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(fma (- y x) (* 6.0 z) x)

simplify3.6s

Counts
13 → 13
Iterations

Useful iterations: 3 (112.0ms)

IterNodesCost
0232767
1432767
21102647
34152452
437082452
done50002452

prune74.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* (* (- y x) 6.0) z))
0.0b
(* (- y x) 6.0)
0.7b
(* (* (- y x) 6.0) z)

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1 add-cbrt-cube add-exp-log
9×*-un-lft-identity
7×add-cube-cbrt
6×associate-*r* associate-*l* associate-*l/
5×add-log-exp
4×pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u fma-def log1p-expm1-u
2×flip3-- *-commutative flip--
1×+-commutative sum-log flip3-+ flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 62
Calls
3 calls:
8.0ms
(+ x (* (* (- y x) 6.0) z))
29.0ms
(* (- y x) 6.0)
29.0ms
(* (* (- y x) 6.0) z)

series141.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(+ x (* (* (- y x) 6.0) z))
34.0ms
(* (- y x) 6.0)
46.0ms
(* (* (- y x) 6.0) z)

simplify1.3s

Counts
71 → 71
Iterations

Useful iterations: done (1.3s)

IterNodesCost
010413833
126512233
2134511678
done500111363

prune301.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- y x))
0.2b
(fma (* z (- y x)) 6.0 x)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×*-un-lft-identity prod-diff
16×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
5×associate-*r*
4×pow1 add-cbrt-cube add-exp-log
3×associate-*l*
2×expm1-log1p-u sub-neg associate-*r/ log1p-expm1-u add-log-exp
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 56
Calls
2 calls:
34.0ms
(* z (- y x))
1.0ms
(fma (* z (- y x)) 6.0 x)

series108.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(* z (- y x))
59.0ms
(fma (* z (- y x)) 6.0 x)

simplify905.0ms

Counts
62 → 62
Iterations

Useful iterations: done (898.0ms)

IterNodesCost
011816809
126514772
293611208
done500010813

prune241.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z)
1.1b
(cbrt (* (- y x) 6.0))
1.1b
(cbrt (* (- y x) 6.0))
1.1b
(cbrt (* (- y x) 6.0))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
100×associate-*l/
60×cbrt-div
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×add-cbrt-cube
8×associate-*r/
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 88
Calls
4 calls:
210.0ms
(* (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z)
10.0ms
(cbrt (* (- y x) 6.0))
9.0ms
(cbrt (* (- y x) 6.0))
10.0ms
(cbrt (* (- y x) 6.0))

series974.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(* (* (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0))) z)
297.0ms
(cbrt (* (- y x) 6.0))
287.0ms
(cbrt (* (- y x) 6.0))
250.0ms
(cbrt (* (- y x) 6.0))

simplify1.4s

Counts
100 → 100
Iterations

Useful iterations: done (1.4s)

IterNodesCost
017646938
144038662
2162938582
done500133817

prune613.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes187.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07139
18139
done8139

end0.0ms

sample812.0ms

Algorithm
intervals
Results
451.0ms10130×body80valid