Details

Time bar (total: 23.5s)

sample68.0ms

Algorithm
intervals
Results
35.0ms397×body80valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 6 (4.1s)

IterNodesCost
01819
13819
210019
331918
485318
5181918
6399316
done500016

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.2b

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

rewrite123.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:
1.0ms
(fma y (* x 9.0) b)
44.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
9.0ms
(/ (fma y (* x 9.0) b) z)
61.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

series685.0ms

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

simplify1.4s

Counts
123 → 123
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01702305
13782243
212662063
done50011986

prune859.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 8.8b

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

rewrite271.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:
11.0ms
(/ 1 (/ z (fma y (* x 9.0) b)))
86.0ms
(- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t))
8.0ms
(/ z (fma y (* x 9.0) b))
149.0ms
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

series682.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(/ 1 (/ z (fma y (* x 9.0) b)))
192.0ms
(- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t))
68.0ms
(/ z (fma y (* x 9.0) b))
282.0ms
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

simplify1.8s

Counts
253 → 253
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02945415
16784995
217634345
done50004155

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 8.1b

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

rewrite160.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)
42.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
5.0ms
(/ (fma y (* x 9.0) b) z)
107.0ms
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

series685.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma y (* x 9.0) b)
270.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
122.0ms
(/ (fma y (* x 9.0) b) z)
240.0ms
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.4s

Counts
133 → 133
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01952552
14422400
213902166
done50012107

prune829.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 8.1b

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

rewrite194.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:
72.0ms
(/ 1 (/ c (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))))
47.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
10.0ms
(/ (fma y (* x 9.0) b) z)
52.0ms
(/ c (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)))

series840.0ms

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

simplify1.4s

Counts
198 → 198
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02725031
15794739
215034357
done50004240

prune954.0ms

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

bsearch5.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
042180
154180
done54180

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.2s12913×body80valid