Details

Time bar (total: 12.1s)

sample44.0ms

Algorithm
intervals
Results
20.0ms436×body80valid

simplify4.1s

Counts
1 → 1
Iterations

Useful iterations: 6 (2.7s)

IterNodesCost
01819
13819
210019
330618
482918
5181018
6408416
done500016

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
0.2b
(- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t)))
3.2b
(/ (fma x (* 9.0 y) b) z)
8.3b
(/ (- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t))) c)

rewrite53.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)
33.0ms
(/ (- (/ (fma x (* 9.0 y) b) z) (* a (* 4.0 t))) c)

series435.0ms

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

simplify893.0ms

Counts
123 → 123
Iterations

Useful iterations: done (889.0ms)

IterNodesCost
01702305
13822246
211802063
done50001986

prune528.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (/ (* x y) (* z c)) 9.0 (/ b (* z c)))
3.5b
(/ (* t a) c)
5.4b
(/ b (* z c))
10.5b
(/ (* 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))
5.0ms
(/ (* x y) (* z c))

series169.0ms

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

simplify701.0ms

Counts
91 → 91
Iterations

Useful iterations: 2 (147.0ms)

IterNodesCost
0148914
1350893
21551735
done5000735

prune368.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

3.5b
(/ (* t a) c)
5.4b
(/ b (* z c))
5.8b
(* c (/ z y))
6.5b
(/ x (* c (/ z y)))

rewrite23.0ms

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

series100.0ms

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

simplify746.0ms

Counts
118 → 118
Iterations

Useful iterations: 2 (188.0ms)

IterNodesCost
0194984
1456951
21564805
done5001805

prune506.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

3.5b
(/ (* t a) c)
5.4b
(/ b (* z c))
5.8b
(* c (/ z y))
6.2b
(* x (/ 1 (* c (/ z y))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
51×add-exp-log
33×add-cbrt-cube
26×add-sqr-sqrt
21×associate-*r*
20×prod-exp
19×add-cube-cbrt *-un-lft-identity times-frac
14×div-exp
10×cbrt-unprod
9×cbrt-undiv
8×pow1
6×associate-*l*
4×expm1-log1p-u associate-/r* log1p-expm1-u div-inv associate-/l* add-log-exp
3×rec-exp 1-exp associate-*r/ unswap-sqr
2×frac-2neg pow-prod-down clear-num *-commutative
1×associate-/r/ un-div-inv
Counts
4 → 119
Calls
4 calls:
3.0ms
(/ (* t a) c)
3.0ms
(/ b (* z c))
11.0ms
(* c (/ z y))
23.0ms
(* x (/ 1 (* c (/ z y))))

series101.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ (* t a) c)
22.0ms
(/ b (* z c))
19.0ms
(* c (/ z y))
33.0ms
(* x (/ 1 (* c (/ z y))))

simplify758.0ms

Counts
131 → 131
Iterations

Useful iterations: 2 (218.0ms)

IterNodesCost
02271185
15551060
21737884
done5000884

prune477.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

regimes893.0ms

Accuracy

55.1% (5.7b remaining)

Error of 5.8b against oracle of 0.1b and baseline of 12.8b

bsearch3.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
062196
182196
done82196

end0.0ms

sample1.1s

Algorithm
intervals
Results
590.0ms12800×body80valid