Details

Time bar (total: 24.2s)

sample85.0ms

Algorithm
intervals
Results
44.0ms409×body80valid

simplify5.6s

Counts
1 → 1
Iterations

Useful iterations: 6 (4.0s)

IterNodesCost
01819
13819
210019
331918
485318
5181918
6399316
done500016

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.2b

localize44.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a 4.0) t)
0.5b
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
3.6b
(/ (fma y (* x 9.0) b) z)
8.2b
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
35×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×add-exp-log fma-neg prod-diff add-cbrt-cube
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- associate-/l/
1×sub-neg diff-log div-sub associate-*l* *-commutative
Counts
4 → 121
Calls
4 calls:
19.0ms
(* (* a 4.0) t)
58.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
14.0ms
(/ (fma y (* x 9.0) b) z)
105.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

series666.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (* a 4.0) t)
274.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
126.0ms
(/ (fma y (* x 9.0) b) z)
230.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

simplify1.9s

Counts
133 → 133
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01962364
14422290
215202102
done50002043

prune874.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.9b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a 4.0) t)
0.5b
(- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t))
3.6b
(/ (fma (* x y) 9.0 b) z)
8.2b
(/ (- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t)) c)

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
13×add-exp-log add-cbrt-cube
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv associate-/l/
1×sub-neg fma-neg diff-log div-sub associate-*l* prod-diff *-commutative
Counts
4 → 97
Calls
4 calls:
30.0ms
(* (* a 4.0) t)
19.0ms
(- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t))
5.0ms
(/ (fma (* x y) 9.0 b) z)
69.0ms
(/ (- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t)) c)

series731.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (* a 4.0) t)
303.0ms
(- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t))
113.0ms
(/ (fma (* x y) 9.0 b) z)
276.0ms
(/ (- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t)) c)

simplify1.9s

Counts
109 → 109
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01861969
14181765
214521628
done50001622

prune617.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.9b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t))
0.6b
(/ 1 (/ z (fma (* x y) 9.0 b)))
3.6b
(/ z (fma (* x y) 9.0 b))
8.2b
(/ (- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t)) c)

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
93×times-frac
62×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×add-exp-log associate-/r*
13×add-cbrt-cube
9×div-exp associate-/l*
7×div-inv
6×add-log-exp
5×pow1 cbrt-undiv
4×expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×rec-exp flip3-- 1-exp flip-- associate-/l/
1×sub-neg pow-flip fma-neg diff-log div-sub prod-diff associate-/r/ inv-pow
Counts
4 → 155
Calls
4 calls:
38.0ms
(- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t))
11.0ms
(/ 1 (/ z (fma (* x y) 9.0 b)))
5.0ms
(/ z (fma (* x y) 9.0 b))
99.0ms
(/ (- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t)) c)

series801.0ms

Counts
4 → 12
Calls
4 calls:
276.0ms
(- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t))
76.0ms
(/ 1 (/ z (fma (* x y) 9.0 b)))
92.0ms
(/ z (fma (* x y) 9.0 b))
355.0ms
(/ (- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t)) c)

simplify1.8s

Counts
167 → 167
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02543444
15593041
215882639
done50012615

prune894.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.4b

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))))
0.5b
(- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))
3.6b
(/ (fma (* x y) 9.0 b) z)
8.3b
(/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t))))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
78×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×associate-/r*
19×add-exp-log
13×fma-neg prod-diff add-cbrt-cube
11×associate-/r/
9×div-exp div-inv associate-/l*
6×flip3-- flip-- add-log-exp
5×pow1 cbrt-undiv
4×expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×rec-exp 1-exp
1×sub-neg pow-flip diff-log inv-pow
Counts
4 → 186
Calls
4 calls:
43.0ms
(/ 1 (/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))))
60.0ms
(- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))
10.0ms
(/ (fma (* x y) 9.0 b) z)
55.0ms
(/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t))))

series816.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(/ 1 (/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))))
260.0ms
(- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))
123.0ms
(/ (fma (* x y) 9.0 b) z)
117.0ms
(/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t))))

simplify1.7s

Counts
198 → 198
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02715031
15804739
214784357
done50004240

prune948.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 6.4b

regimes1.1s

Accuracy

70.4% (2.1b remaining)

Error of 8.4b against oracle of 6.4b and baseline of 13.3b

bsearch3.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
050171
167169
done67169

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.2s12722×body80valid