Details

Time bar (total: 16.1s)

sample199.0ms

Algorithm
intervals
Results
132.0ms633×body80valid

simplify3.0s

Counts
1 → 1
Iterations

Useful iterations: 4 (286.0ms)

IterNodesCost
02329
14729
211028
333328
490927
5281127
done500027

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.8b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) (* t a))
3.9b
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
5.6b
(* j (- (* c t) (* i y)))
5.6b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l* prod-diff
2×flip3-- associate-*r/ flip-- fma-udef
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
18.0ms
(- (* y z) (* t a))
1.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
68.0ms
(* j (- (* c t) (* i y)))
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* y z) (* t a))
377.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
131.0ms
(* j (- (* c t) (* i y)))
828.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

simplify2.2s

Counts
76 → 76
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01371239
13171223
28921071
331251071
done50011056

prune613.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 7.5b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* i a) (* c z))
3.9b
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
5.6b
(* j (- (* c t) (* i y)))
5.6b
(fma x (fma y z (- (* a t))) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l* prod-diff
2×flip3-- associate-*r/ flip-- fma-udef
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
10.0ms
(- (* i a) (* c z))
0.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
38.0ms
(* j (- (* c t) (* i y)))
0.0ms
(fma x (fma y z (- (* a t))) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
58.0ms
(- (* i a) (* c z))
384.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
97.0ms
(* j (- (* c t) (* i y)))
860.0ms
(fma x (fma y z (- (* a t))) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))

simplify2.3s

Counts
76 → 76
Iterations

Useful iterations: done (2.3s)

IterNodesCost
01371239
13191223
28931071
331291071
done50011056

prune628.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 7.5b

localize65.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y))))
4.3b
(* b (- (* i a) (* c z)))
5.6b
(* j (- (* c t) (* i y)))
5.6b
(fma x (fma y z (- (* a t))) (+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y)))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
12×distribute-rgt-in add-sqr-sqrt distribute-lft-in associate-*r/
8×pow1 add-exp-log add-cube-cbrt sub-neg *-un-lft-identity prod-diff add-cbrt-cube
6×associate-+l+ associate-+r+ flip3-- associate-*r* associate-*l* flip-- add-log-exp
4×expm1-log1p-u frac-add log1p-expm1-u
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative fma-def flip3-+ sum-log flip-+ fma-udef
Counts
4 → 96
Calls
4 calls:
35.0ms
(+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y))))
46.0ms
(* b (- (* i a) (* c z)))
48.0ms
(* j (- (* c t) (* i y)))
1.0ms
(fma x (fma y z (- (* a t))) (+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
350.0ms
(+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y))))
126.0ms
(* b (- (* i a) (* c z)))
109.0ms
(* j (- (* c t) (* i y)))
883.0ms
(fma x (fma y z (- (* a t))) (+ (* b (- (* i a) (* c z))) (* j (- (* c t) (* i y)))))

simplify1.5s

Counts
108 → 108
Iterations

Useful iterations: 2 (480.0ms)

IterNodesCost
02012174
15732012
220881868
done50011868

prune897.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 7.5b

localize80.0ms

Local error

Found 4 expressions with local error:

4.4b
(cbrt (* b (- (* i a) (* c z))))
4.4b
(cbrt (* b (- (* i a) (* c z))))
5.6b
(* j (- (* c t) (* i y)))
5.6b
(fma x (fma y z (- (* a t))) (+ (* (* (cbrt (* b (- (* i a) (* c z)))) (cbrt (* b (- (* i a) (* c z))))) (cbrt (* b (- (* i a) (* c z))))) (* j (- (* c t) (* i y)))))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r/ add-cbrt-cube
4×expm1-log1p-u cbrt-div log1p-expm1-u add-log-exp
3×distribute-rgt-in flip3-- distribute-lft-in associate-*r* associate-*l* flip--
2×cbrt-prod sub-neg pow1/3 prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 64
Calls
4 calls:
32.0ms
(cbrt (* b (- (* i a) (* c z))))
23.0ms
(cbrt (* b (- (* i a) (* c z))))
43.0ms
(* j (- (* c t) (* i y)))
0.0ms
(fma x (fma y z (- (* a t))) (+ (* (* (cbrt (* b (- (* i a) (* c z)))) (cbrt (* b (- (* i a) (* c z))))) (cbrt (* b (- (* i a) (* c z))))) (* j (- (* c t) (* i y)))))

series2.0ms