Details

Time bar (total: 6.5m)

sample2.3s

Algorithm
intervals
Results
2.1s2156×body80valid

simplify152.0ms

Calls
1 calls:
Slowest
152.0ms
(+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))

prune72.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.6b

localize243.0ms

Local error

Found 4 expressions with local error:

10.9b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite834.0ms

Algorithm
rewrite-expression-head
Rules
1152×prod-diff
1076×add-sqr-sqrt
652×*-un-lft-identity associate-*l*
620×associate-*r*
588×add-cube-cbrt
584×distribute-rgt-in distribute-lft-in
228×unswap-sqr
196×*-commutative
32×distribute-lft-out-- difference-of-squares
24×flip3-- flip--
16×frac-times
12×pow1 add-cbrt-cube add-exp-log
8×sub-neg associate-*l/ associate-*r/
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
214.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
192.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
192.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
172.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series985.0ms

Calls
4 calls:
Slowest
273.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
252.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
243.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
217.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify4.9m

Calls
1316 calls:
Slowest
1.0s
(* (- (* (* x j) (* x j)) (* (* z k) (* z k))) (- (* y0 b) (* y1 i)))
862.0ms
(* (fma (- (cbrt i)) (* c (* (cbrt i) (cbrt i))) (* (cbrt i) (* c (* (cbrt i) (cbrt i))))) (- (* x y) (* z t)))
797.0ms
(* (- (* t y2) (* y y3)) (fma (- (cbrt a)) (* y5 (* (cbrt a) (cbrt a))) (* (cbrt a) (* y5 (* (cbrt a) (cbrt a))))))
788.0ms
(* (- (* x y) (* z t)) (fma (- (cbrt i)) (* c (* (cbrt i) (cbrt i))) (* (cbrt i) (* c (* (cbrt i) (cbrt i))))))
751.0ms
(* (- (* x y2) (* z y3)) (fma (- (cbrt (* y1 a))) (* (cbrt (* y1 a)) (cbrt (* y1 a))) (* (cbrt (* y1 a)) (* (cbrt (* y1 a)) (cbrt (* y1 a))))))

prune1.5m

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 18.7b

localize32.0ms

Local error

Found 4 expressions with local error:

10.9b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.5b
(cbrt (- (* y4 c) (* y5 a)))

rewrite614.0ms

Algorithm
rewrite-expression-head
Rules
864×prod-diff
821×add-sqr-sqrt
499×*-un-lft-identity
493×associate-*l*
465×associate-*r*
443×add-cube-cbrt
438×distribute-rgt-in distribute-lft-in
175×unswap-sqr
147×*-commutative
28×distribute-lft-out-- difference-of-squares
19×flip3-- flip--
12×frac-times
11×cbrt-prod
10×pow1 add-cbrt-cube add-exp-log
6×sub-neg associate-*l/ associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×cbrt-div
1×pow1/3
Calls
4 calls:
Slowest
182.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
180.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
170.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
30.0ms
(cbrt (- (* y4 c) (* y5 a)))

series963.0ms

Calls
4 calls:
Slowest
274.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
250.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
246.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
192.0ms
(cbrt (- (* y4 c) (* y5 a)))