Details

Time bar (total: 12.2s)

sample44.0ms

Algorithm
intervals
Results
21.0ms385×body80valid

simplify4.1s

Counts
1 → 1
Iterations

Useful iterations: 6 (2.8s)

IterNodesCost
01819
13819
210019
330618
482918
5181018
6408416
done500016

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
0.5b
(- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t)))
2.4b
(/ (fma x (* 9.0 y) b) z)
11.4b
(/ (- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t))) c)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
34×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×fma-neg prod-diff
8×add-exp-log add-cbrt-cube
6×associate-/r* associate-/l* add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- associate-/l/
1×sub-neg diff-log div-sub fma-udef
Counts
4 → 111
Calls
4 calls:
0.0ms
(fma x (* 9.0 y) b)
14.0ms
(- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t)))
2.0ms
(/ (fma x (* 9.0 y) b) z)
31.0ms
(/ (- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t))) c)

series416.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(fma x (* 9.0 y) b)
165.0ms
(- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t)))
64.0ms
(/ (fma x (* 9.0 y) b) z)
153.0ms
(/ (- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t))) c)

simplify840.0ms

Counts
123 → 123
Iterations

Useful iterations: done (836.0ms)

IterNodesCost
01702305
13822246
211802063
done50001986

prune496.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
6.2b
(/ (* t a) c)
7.0b
(/ b (* z c))
9.9b
(/ (* x y) (* z c))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log add-cbrt-cube
8×cbrt-undiv add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-exp
7×times-frac
6×prod-exp cbrt-unprod
5×associate-/r* associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num div-inv
1×fma-udef
Counts
4 → 79
Calls
4 calls:
0.0ms
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
3.0ms
(/ (* t a) c)
3.0ms
(/ b (* z c))
4.0ms
(/ (* x y) (* z c))

series155.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
19.0ms
(/ (* t a) c)
20.0ms
(/ b (* z c))
32.0ms
(/ (* x y) (* z c))

simplify647.0ms

Counts
91 → 91
Iterations

Useful iterations: 2 (137.0ms)

IterNodesCost
0148914
1350893
21551735
done5000735

prune370.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
5.7b
(* t (/ a c))
7.0b
(/ b (* z c))
9.9b
(/ (* x y) (* z c))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log add-cbrt-cube
19×add-sqr-sqrt
14×add-cube-cbrt *-un-lft-identity times-frac
13×associate-*r*
7×cbrt-undiv div-exp prod-exp cbrt-unprod
6×pow1
4×expm1-log1p-u log1p-expm1-u associate-/l* add-log-exp
3×associate-*l* div-inv
2×frac-2neg clear-num associate-/r* unswap-sqr
1×associate-*r/ pow-prod-down *-commutative fma-udef
Counts
4 → 90
Calls
4 calls:
0.0ms
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
8.0ms
(* t (/ a c))
3.0ms
(/ b (* z c))
5.0ms
(/ (* x y) (* z c))

series169.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
21.0ms
(* t (/ a c))
22.0ms
(/ b (* z c))
35.0ms
(/ (* x y) (* z c))

simplify777.0ms

Counts
102 → 102
Iterations

Useful iterations: 2 (160.0ms)

IterNodesCost
01681005
1404974
21608816
done5000816

prune423.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

5.7b
(* t (/ a c))
6.7b
(* z (/ c y))
7.0b
(/ x (* z (/ c y)))
7.0b
(/ b (* z c))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
28×add-exp-log add-cbrt-cube
26×times-frac associate-*r*
24×add-cube-cbrt *-un-lft-identity
8×pow1 cbrt-undiv div-exp
7×prod-exp cbrt-unprod
6×associate-*l* associate-/l*
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp unswap-sqr
3×associate-*r/
2×frac-2neg pow-prod-down clear-num associate-/r* *-commutative
1×associate-/r/
Counts
4 → 117
Calls
4 calls:
8.0ms
(* t (/ a c))
8.0ms
(* z (/ c y))
5.0ms
(/ x (* z (/ c y)))
6.0ms
(/ b (* z c))

series104.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* t (/ a c))
25.0ms
(* z (/ c y))
34.0ms
(/ x (* z (/ c y)))
23.0ms
(/ b (* z c))

simplify784.0ms

Counts
129 → 129
Iterations

Useful iterations: 2 (202.0ms)

IterNodesCost
02111075
15071032
21629886
done5001886

prune514.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

regimes1.0s

Accuracy

71.6% (3.0b remaining)

Error of 3.3b against oracle of 0.3b and baseline of 10.8b

bsearch3.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
050192
167192
done67192

end0.0ms

sample1.2s

Algorithm
intervals
Results
647.0ms12652×body80valid