Details

Time bar (total: 20.7s)

sample25.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 6 (2.1s)

IterNodesCost
01317
12617
26117
314717
435217
576815
6260113
done500013

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
6.0b
(/ y (fma (/ t z) (- (/ y 2.0)) z))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
48×*-un-lft-identity
46×add-cube-cbrt
39×prod-diff
37×times-frac
5×add-exp-log add-cbrt-cube add-log-exp
4×div-inv
3×pow1 expm1-log1p-u fma-neg associate-/r* log1p-expm1-u associate-/l*
2×difference-of-squares
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- fma-udef distribute-lft-out--
Counts
3 → 98
Calls
3 calls:
26.0ms
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
1.0ms
(fma (/ t z) (- (/ y 2.0)) z)
22.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

series294.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
71.0ms
(fma (/ t z) (- (/ y 2.0)) z)
144.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

simplify3.4s

Counts
107 → 107
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
01874444
14153973
210512947
337252300
done50012300

prune318.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
0.3b
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
5.8b
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
6×add-log-exp
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u
3×fma-neg associate-*l* prod-diff associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod div-inv
1×sub-neg flip3-- pow-flip frac-2neg diff-log associate-*r/ pow-prod-down clear-num un-div-inv *-commutative flip-- fma-udef inv-pow
Counts
4 → 101
Calls
4 calls:
6.0ms
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
5.0ms
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
0.0ms
(fma (/ t z) (- (/ y 2.0)) z)
15.0ms
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

series508.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
234.0ms
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
66.0ms
(fma (/ t z) (- (/ y 2.0)) z)
147.0ms
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

simplify4.4s

Counts
113 → 113
Iterations

Useful iterations: 4 (2.7s)

IterNodesCost
01371911
12871670
26201492
316481487
447481439
done50001439

prune440.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ t z) (- (/ y 2.0))) z)
0.3b
(/ 1 (+ (* (/ t z) (- (/ y 2.0))) z))
4.7b
(* (/ t z) (- (/ y 2.0)))
5.8b
(* y (/ 1 (+ (* (/ t z) (- (/ y 2.0))) z)))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
48×times-frac
45×associate-*r*
43×*-un-lft-identity
42×add-cube-cbrt
22×add-exp-log
16×associate-*l* add-cbrt-cube
13×distribute-lft-neg-in distribute-rgt-neg-in
9×pow1
6×prod-exp add-log-exp
5×div-exp div-inv unswap-sqr
4×expm1-log1p-u associate-/r/ cbrt-unprod log1p-expm1-u
3×cbrt-undiv flip3-+ associate-/r* flip-+ associate-/l*
2×rec-exp 1-exp associate-*r/ pow-prod-down *-commutative distribute-neg-frac
1×+-commutative frac-times neg-mul-1 pow-flip fma-def frac-2neg associate-*l/ clear-num sum-log un-div-inv distribute-rgt-neg-out inv-pow
Counts
4 → 153
Calls
4 calls:
30.0ms
(+ (* (/ t z) (- (/ y 2.0))) z)
60.0ms
(/ 1 (+ (* (/ t z) (- (/ y 2.0))) z))
43.0ms
(* (/ t z) (- (/ y 2.0)))
93.0ms
(* y (/ 1 (+ (* (/ t z) (- (/ y 2.0))) z)))

series460.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(+ (* (/ t z) (- (/ y 2.0))) z)
216.0ms
(/ 1 (+ (* (/ t z) (- (/ y 2.0))) z))
54.0ms
(* (/ t z) (- (/ y 2.0)))
126.0ms
(* y (/ 1 (+ (* (/ t z) (- (/ y 2.0))) z)))

simplify2.0s

Counts
165 → 165
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02392333
16302020
220051845
done50001835

prune639.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.9b

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
2.3b
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
4.0b
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
46×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
33×cbrt-prod
28×associate-/r*
18×add-exp-log
11×add-cbrt-cube
7×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l* add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod
1×pow1/3 associate-/r/ fma-udef
Counts
4 → 130
Calls
4 calls:
1.0ms
(cbrt y)
0.0ms
(fma (/ t z) (- (/ y 2.0)) z)
6.0ms
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
23.0ms
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

series811.0ms

Counts
4 → 12
Calls
4 calls:
286.0ms
(cbrt y)
64.0ms
(fma (/ t z) (- (/ y 2.0)) z)
314.0ms
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
147.0ms
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

simplify1.4s

Counts
142 → 142
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01982931
14322831
216452469
done50002402

prune706.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.6b

regimes3.0ms