Details

Time bar (total: 10.0m)

sample1.5s

Algorithm
intervals
Results
1.1s2161×body80valid

simplify1000.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
31923
2391
1145
063

prune83.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.3b

localize177.0ms

Local error

Found 4 expressions with local error:

6.7b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite192.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 log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
47.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
52.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
36.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series899.0ms

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

simplify477.0ms

Counts
148 → 148
Iterations
IterNodes
done5000
11201
0384

prune4.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.9b

localize141.0ms

Local error

Found 4 expressions with local error:

4.9b
(fma (fma c y0 (* y1 (- a))) (fma y2 x (* z (- y3))) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
7.0b
(fma (fma y0 b (- (* i y1))) (fma z (- k) (* j x)) (* (fma y (- y3) (* y2 t)) (fma (- y5) a (* c y4))))
7.5b
(* (fma y (- y3) (* y2 t)) (fma (- y5) a (* c y4)))
8.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite57.0ms

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

series9.9m

Calls
2 calls:
249.0ms
(* (fma y (- y3) (* y2 t)) (fma (- y5) a (* c y4)))
228.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))