Details

Time bar (total: 10.0m)

sample2.2s

Algorithm
intervals
Results
1.9s2490×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done2015
42015
31883
2391
1145
063

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.7b

localize133.0ms

Local error

Found 4 expressions with local error:

7.3b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
7.6b
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
8.7b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
10.2b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

rewrite129.0ms

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

series2.0m

Counts
4 → 12
Calls
4 calls:
185.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
2.0m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
194.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
209.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

simplify650.0ms

Counts
128 → 128
Iterations
IterNodes
done2001
22001
1961
0319

prune2.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.1b

localize137.0ms

Local error

Found 4 expressions with local error:

7.6b
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
8.7b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
10.2b
(* (- (* y2 t) (* y y3)) (fma c y4 (- (* y5 a))))
47.9b
(fma (- y5) a (* y5 a))

rewrite62.0ms

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

series1.3m

Counts
4 → 12
Calls
4 calls:
1.3m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
166.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
170.0ms
(* (- (* y2 t) (* y y3)) (fma c y4 (- (* y5 a))))
25.0ms
(fma (- y5) a (* y5 a))

simplify628.0ms

Counts
94 → 94
Iterations
IterNodes
done2003
22003
1594
0220

prune1.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 16.6b

localize129.0ms

Local error

Found 4 expressions with local error:

6.8b
(fma (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)) (- (fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t))))) (* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))))
7.6b
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
8.7b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
10.2b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

rewrite83.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 (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)) (- (fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t))))) (* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))))
0.0ms
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
39.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
42.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

series6.5m

Calls
3 calls:
1.3m
(fma (- (* b y4) (* y5 i)) (- (* t j) (* k y)) (* (* (- (* a b) (* c i)) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
167.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
168.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))