Details

Time bar (total: 21.2s)

sample86.0ms

Algorithm
intervals
Results
54.0ms426×body80valid

simplify5.7s

Counts
1 → 1
Iterations

Useful iterations: 6 (4.0s)

IterNodesCost
01819
13819
210019
331918
485318
5181918
6399316
done500016

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
0.1b
(fma y (* x 9.0) b)
2.9b
(/ (fma y (* x 9.0) b) z)
11.0b
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

rewrite133.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:
55.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
1.0ms
(fma y (* x 9.0) b)
7.0ms
(/ (fma y (* x 9.0) b) z)
63.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

series624.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
58.0ms
(fma y (* x 9.0) b)
92.0ms
(/ (fma y (* x 9.0) b) z)
242.0ms
(/ (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) c)

simplify1.2s

Counts
123 → 123
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01702305
13792243
212672063
done50001986

prune856.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.9b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (* x 9.0) b)
0.2b
(/ 1 (/ z (fma y (* x 9.0) b)))
3.1b
(/ z (fma y (* x 9.0) b))
11.0b
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

rewrite187.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
5×pow1 cbrt-undiv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
2×rec-exp 1-exp associate-/l/
1×flip3-- pow-flip div-sub associate-/r/ flip-- fma-udef inv-pow
Counts
4 → 149
Calls
4 calls:
1.0ms
(fma y (* x 9.0) b)
18.0ms
(/ 1 (/ z (fma y (* x 9.0) b)))
6.0ms
(/ z (fma y (* x 9.0) b))
151.0ms
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

series563.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(fma y (* x 9.0) b)
114.0ms
(/ 1 (/ z (fma y (* x 9.0) b)))
73.0ms
(/ z (fma y (* x 9.0) b))
315.0ms
(/ (- (/ 1 (/ z (fma y (* x 9.0) b))) (* (* a 4.0) t)) c)

simplify3.9s

Counts
161 → 161
Iterations

Useful iterations: 3 (2.1s)

IterNodesCost
02402995
15102759
212912397
349482370
done50002370

prune766.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 6.2b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
0.1b
(fma y (* x 9.0) b)
2.9b
(/ (fma y (* x 9.0) b) z)
11.0b
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

rewrite145.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:
28.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
1.0ms
(fma y (* x 9.0) b)
10.0ms
(/ (fma y (* x 9.0) b) z)
102.0ms
(* (- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t)) (/ 1 c))

series639.0ms

Counts
4 → 12
Calls
4 calls:
231.0ms
(- (/ (fma y (* x 9.0) b) z) (* (* a 4.0) t))
64.0ms
(fma y (* x 9.0) b)
94.0ms
(/ (fma y (* x 9.0) b) z)
250.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
14432400
213932166
done50012107

prune813.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.2b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t))
0.2b
(* 9.0 (* x y))
2.9b
(/ (+ (* 9.0 (* x y)) b) z)
11.0b
(* (- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t)) (/ 1 c))

rewrite829.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
38×times-frac
36×*-un-lft-identity
35×add-cube-cbrt
20×add-exp-log
16×add-cbrt-cube
14×associate-*r*
13×fma-neg prod-diff
11×pow1
7×prod-exp
6×associate-*l* add-log-exp
5×cbrt-unprod
4×expm1-log1p-u pow-prod-down log1p-expm1-u div-inv
3×flip3-- div-exp associate-/r* flip-- associate-/l* unswap-sqr
2×cbrt-undiv frac-times associate-*l/ *-commutative associate-/l/
1×sub-neg rec-exp frac-2neg flip3-+ diff-log 1-exp associate-*r/ clear-num un-div-inv flip-+
Counts
4 → 133
Calls
4 calls:
220.0ms
(- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t))
34.0ms
(* 9.0 (* x y))
63.0ms
(/ (+ (* 9.0 (* x y)) b) z)
501.0ms
(* (- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t)) (/ 1 c))

series547.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t))
22.0ms
(* 9.0 (* x y))
105.0ms
(/ (+ (* 9.0 (* x y)) b) z)
192.0ms
(* (- (/ (+ (* 9.0 (* x y)) b) z) (* (* a 4.0) t)) (/ 1 c))

simplify1.9s

Counts
145 → 145
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02282785
15572487
218462235
done50012172

prune786.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 6.2b

regimes11.0ms