Details

Time bar (total: 10.0m)

sample2.3s

Algorithm
intervals
Results
2.0s2169×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5004
31883
2391
1145
063

prune100.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.5b

localize217.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite251.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:
78.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
60.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
60.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series948.0ms

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

simplify1.2s

Counts
152 → 152
Iterations
IterNodes
done5001
11203
0388

prune3.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 17.3b

localize195.0ms

Local error

Found 4 expressions with local error:

6.9b
(fma (- (* t j) (* k y)) (- (* b y4) (* y5 i)) (- (fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t)))) (fma (- (* y0 b) (* i y1)) (- (* j x) (* z k)) (* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5))))))
8.0b
(fma (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)) (fma (- (* t j) (* k y)) (- (* b y4) (* y5 i)) (- (fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t)))) (fma (- (* y0 b) (* i y1)) (- (* j x) (* z k)) (* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))))))
8.5b
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
9.2b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

rewrite66.0ms

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

series9.8m

Calls
2 calls:
1.3m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
249.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))