Details

Time bar (total: 25.1s)

sample83.0ms

Algorithm
intervals
Results
36.0ms397×body80valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 6 (4.0s)

IterNodesCost
01819
13819
210019
331918
485318
5181918
6399316
done500016

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (* x 9.0) b)
0.9b
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
3.6b
(/ (fma y (* x 9.0) b) z)
9.9b
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

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

series636.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(fma y (* x 9.0) b)
263.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
98.0ms
(/ (fma y (* x 9.0) b) z)
224.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

simplify1.5s

Counts
123 → 123
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01702305
13782243
212662063
done50011986

prune766.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 8.8b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 1 (/ z (fma y (* x 9.0) b)))
0.9b
(- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t))
3.7b
(/ z (fma y (* x 9.0) b))
9.9b
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

rewrite344.0ms

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

series841.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(/ 1 (/ z (fma y (* x 9.0) b)))
312.0ms
(- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t))
96.0ms
(/ z (fma y (* x 9.0) b))
337.0ms
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

simplify1.7s

Counts
253 → 253
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02945415
16784995
217634345
done50004155

prune1.3s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (* x 9.0) b)
0.9b
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
3.6b
(/ (fma y (* x 9.0) b) z)
9.9b
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
38×times-frac
35×*-un-lft-identity
34×add-cube-cbrt
15×add-exp-log
13×fma-neg associate-*r* prod-diff
11×add-cbrt-cube
6×pow1 add-log-exp
4×expm1-log1p-u prod-exp log1p-expm1-u div-inv
3×flip3-- div-exp associate-*l* associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv frac-times associate-*l/ cbrt-unprod
1×sub-neg rec-exp frac-2neg diff-log 1-exp associate-*r/ pow-prod-down clear-num un-div-inv *-commutative fma-udef
Counts
4 → 121
Calls
4 calls:
0.0ms
(fma y (* x 9.0) b)
53.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
11.0ms
(/ (fma y (* x 9.0) b) z)
153.0ms
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

series762.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(fma y (* x 9.0) b)
285.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
121.0ms
(/ (fma y (* x 9.0) b) z)
306.0ms
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.7s

Counts
133 → 133
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01952552
14422400
213902166
done50012107

prune838.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 8.1b

localize41.0ms

Local error

Found 4 expressions with local error:

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

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

series858.0ms

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

simplify1.7s

Counts
198 → 198
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02725031
15794739
215034357
done50004240

prune1.0s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 8.1b

regimes1.2s

Accuracy

82.1% (1.2b remaining)

Error of 7.4b against oracle of 6.1b and baseline of 13.1b

bsearch3.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
042180
154180
done54180

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.1s12913×body80valid