Details

Time bar (total: 10.0m)

sample1.8s

Algorithm
intervals
Results
1.5s2262×body80valid

simplify7.1s

Counts
1 → 1
Iterations
IterNodes
413152
31883
2391
1145
063

prune64.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.7b

localize146.0ms

Local error

Found 4 expressions with local error:

7.7b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×distribute-rgt-in pow1 *-un-lft-identity distribute-lft-in add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×sub-neg prod-diff associate-*l/ associate-*r/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 140
Calls
4 calls:
60.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
41.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
52.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
55.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series910.0ms

Counts
4 → 12
Calls
4 calls:
236.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
232.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
212.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
231.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.6s

Counts
152 → 152
Iterations
IterNodes
25559
11203
0388

prune7.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.9b

localize193.0ms

Local error

Found 4 expressions with local error:

6.3b
(fma (- (* y0 b) (* i y1)) (- (* j x) (* z k)) (* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5))))
6.5b
(fma (- (* x y) (* z t)) (- (* a b) (* c i)) (fma (- (* t j) (* k y)) (- (* b y4) (* y5 i)) (* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))))
7.7b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.5b
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt flip3-- flip--
8×frac-times pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
4×expm1-log1p-u sub-neg prod-diff associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 92
Calls
4 calls:
0.0ms
(fma (- (* y0 b) (* i y1)) (- (* j x) (* z k)) (* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5))))
0.0ms
(fma (- (* x y) (* z t)) (- (* a b) (* c i)) (fma (- (* t j) (* k y)) (- (* b y4) (* y5 i)) (* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))))
43.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
51.0ms
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))

series9.7m

Calls
2 calls:
243.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
207.0ms
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))