Details

Time bar (total: 7.4s)

sample63.0ms

Algorithm
intervals
Results
39.0ms408×body80valid

simplify83.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
83.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.0b
(+ (* x y) (* z t))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
7×sum-log
2×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+l+
Counts
2 → 27
Calls
2 calls:
Slowest
96.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
7.0ms
(+ (* x y) (* z t))

series362.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
314.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
48.0ms
(+ (* x y) (* z t))

simplify4.5s

Counts
35 → 33
Calls
35 calls:
Slowest
523.0ms
(* (exp (+ (+ (* x y) (* z t)) (* a b))) (exp (* c i)))
474.0ms
(* (* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
403.0ms
(* (* (* (exp (* x y)) (exp (* z t))) (exp (* a b))) (exp (* c i)))
326.0ms
(- (* (* x y) (* x y)) (* (* z t) (* z t)))
263.0ms
(+ (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (- (* (* c i) (* c i)) (* (+ (+ (* x y) (* z t)) (* a b)) (* c i))))

prune420.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

42.8b
(/ (+ (* (* i c) (* (* i c) (* i c))) (* (* (+ (* z t) (+ (* a b) (* x y))) (+ (* z t) (+ (* a b) (* x y)))) (+ (* z t) (+ (* a b) (* x y))))) (- (+ (* (+ (+ (* z t) (* a b)) (* x y)) (+ (+ (* z t) (* a b)) (* x y))) (* (* i c) (* i c))) (* (* i c) (+ (+ (* z t) (* a b)) (* x y)))))
5.9b
(* (* i c) (+ (+ (* z t) (* a b)) (* x y)))
4.6b
(+ (* (* i c) (* (* i c) (* i c))) (* (* (+ (* z t) (+ (* a b) (* x y))) (+ (* z t) (+ (* a b) (* x y)))) (+ (* z t) (+ (* a b) (* x y)))))
3.8b
(- (+ (* (+ (+ (* z t) (* a b)) (* x y)) (+ (+ (* z t) (* a b)) (* x y))) (* (* i c) (* i c))) (* (* i c) (+ (+ (* z t) (* a b)) (* x y))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×flip3-+ add-cbrt-cube add-exp-log flip-+ add-log-exp
10×associate-*r/
9×pow1
8×frac-sub
6×associate-/r/
5×cube-unmult pow3 sum-cubes
4×insert-posit16 associate-/l*
3×distribute-rgt-in associate-/r* distribute-lft-in associate-*r* pow-prod-down prod-exp cbrt-unprod
2×associate-+r+ sum-log flip3-- diff-log flip-- associate--r+ associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg div-exp associate-*l* associate--l+ *-commutative div-inv
Counts
4 → 99
Calls
4 calls:
Slowest
1.1s
(/ (+ (* (* i c) (* (* i c) (* i c))) (* (* (+ (* z t) (+ (* a b) (* x y))) (+ (* z t) (+ (* a b) (* x y)))) (+ (* z t) (+ (* a b) (* x y))))) (- (+ (* (+ (+ (* z t) (* a b)) (* x y)) (+ (+ (* z t) (* a b)) (* x y))) (* (* i c) (* i c))) (* (* i c) (+ (+ (* z t) (* a b)) (* x y)))))
388.0ms
(- (+ (* (+ (+ (* z t) (* a b)) (* x y)) (+ (+ (* z t) (* a b)) (* x y))) (* (* i c) (* i c))) (* (* i c) (+ (+ (* z t) (* a b)) (* x y))))
286.0ms
(+ (* (* i c) (* (* i c) (* i c))) (* (* (+ (* z t) (+ (* a b) (* x y))) (+ (* z t) (+ (* a b) (* x y)))) (+ (* z t) (+ (* a b) (* x y)))))
60.0ms
(* (* i c) (+ (+ (* z t) (* a b)) (* x y)))