Details

Time bar (total: 23.1s)

sample93.0ms

Algorithm
intervals
Results
40.0ms409×body80valid

simplify5.4s

Counts
1 → 1
Iterations

Useful iterations: 6 (3.9s)

IterNodesCost
01819
13819
210019
331918
485318
5181918
6399316
done500016

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.2b

localize16.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)

rewrite114.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:
18.0ms
(* (* a 4.0) t)
29.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
6.0ms
(/ (fma y (* x 9.0) b) z)
57.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

series697.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (* a 4.0) t)
314.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
122.0ms
(/ (fma y (* x 9.0) b) z)
217.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

simplify1.6s

Counts
133 → 133
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01962364
14422290
215202102
done50002043

prune777.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.9b

localize17.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)

rewrite104.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:
23.0ms
(* (* a 4.0) t)
30.0ms
(- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t))
5.0ms
(/ (fma (* x y) 9.0 b) z)
43.0ms
(/ (- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t)) c)

series551.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* a 4.0) t)
213.0ms
(- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t))
85.0ms
(/ (fma (* x y) 9.0 b) z)
229.0ms
(/ (- (* 1 (/ (fma (* x y) 9.0 b) z)) (* (* a 4.0) t)) c)

simplify1.8s

Counts
109 → 109
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01861969
14181765
214521628
done50001622

prune636.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.9b

localize42.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)

rewrite172.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:
28.0ms
(- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t))
23.0ms
(/ 1 (/ z (fma (* x y) 9.0 b)))
6.0ms
(/ z (fma (* x y) 9.0 b))
107.0ms
(/ (- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t)) c)

series875.0ms

Counts
4 → 12
Calls
4 calls:
258.0ms
(- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t))
128.0ms
(/ 1 (/ z (fma (* x y) 9.0 b)))
91.0ms
(/ z (fma (* x y) 9.0 b))
397.0ms
(/ (- (* 1 (/ 1 (/ z (fma (* x y) 9.0 b)))) (* (* a 4.0) t)) c)

simplify1.5s

Counts
167 → 167
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02543444
15593041
215882639
done50012615

prune798.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.4b

localize36.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))))

rewrite186.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:
55.0ms
(/ 1 (/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))))
50.0ms
(- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))
6.0ms
(/ (fma (* x y) 9.0 b) z)
60.0ms
(/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t))))

series821.0ms

Counts
4 → 12
Calls
4 calls:
325.0ms
(/ 1 (/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))))
258.0ms
(- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t)))
98.0ms
(/ (fma (* x y) 9.0 b) z)
140.0ms
(/ c (- (/ (fma (* x y) 9.0 b) z) (* a (* 4.0 t))))

simplify1.5s

Counts
198 → 198
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02715031
15804739
214784357
done50004240

prune888.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 6.4b

regimes1.3s

Accuracy

70.4% (2.1b remaining)

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

bsearch5.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
050171
167169
done67169

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.9s12722×body80valid