Details

Time bar (total: 10.0m)

sample83.0ms

Algorithm
intervals
Results
32.0ms426×body80valid

simplify111.0ms

Counts
1 → 1
Iterations
IterNodes
done106
5106
4105
382
248
126
015

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite356.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
10×sum-log
3×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
2×associate-+r+
Counts
3 → 38
Calls
3 calls:
7.0ms
(+ (* a b) (* x y))
15.0ms
(+ (* c i) (+ (* a b) (* x y)))
333.0ms
(+ (* z t) (+ (* c i) (+ (* a b) (* x y))))

series364.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(+ (* a b) (* x y))
90.0ms
(+ (* c i) (+ (* a b) (* x y)))
235.0ms
(+ (* z t) (+ (* c i) (+ (* a b) (* x y))))

simplify504.0ms

Counts
47 → 47
Iterations
IterNodes
done5001
21424
1281
081

prune433.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite384.0ms

Algorithm
rewrite-expression-head
Rules
102×cbrt-div
85×flip3-+ flip-+
68×frac-add
36×cbrt-prod frac-times
35×*-un-lft-identity
23×add-sqr-sqrt
15×add-cube-cbrt
11×pow1
9×pow1/3 swap-sqr distribute-lft-out
7×associate-*r* associate-*l*
6×associate-*l/ associate-*r/ add-exp-log
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 147
Calls
4 calls:
41.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
40.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
39.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
247.0ms
(* (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))) (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))))

series799.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
197.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
170.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
264.0ms
(* (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))) (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))))

simplify1.1s

Counts
159 → 159
Iterations
IterNodes
done5000
22201
1574
0237

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

4.3b
(* (* (* x x) y) y)
7.4b
(* (* x x) y)
10.3b
(* b (* a a))
30.4b
(/ (- (* b (* b (* a a))) (* (* (* x x) y) y)) (- (* b a) (* y x)))

rewrite254.0ms

Algorithm
rewrite-expression-head
Rules
25×add-cbrt-cube add-exp-log
23×pow1
17×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
12×pow-prod-down prod-exp cbrt-unprod
9×times-frac
7×associate-*r*
5×associate-*l*
4×add-log-exp
3×associate-/r* *-commutative associate-/l*
2×flip3-- associate-/r/ flip-- unswap-sqr associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
Counts
4 → 91
Calls
4 calls:
64.0ms
(* (* (* x x) y) y)
28.0ms
(* (* x x) y)
14.0ms
(* b (* a a))
143.0ms
(/ (- (* b (* b (* a a))) (* (* (* x x) y) y)) (- (* b a) (* y x)))

series254.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* (* x x) y) y)
34.0ms
(* (* x x) y)
36.0ms
(* b (* a a))
138.0ms
(/ (- (* b (* b (* a a))) (* (* (* x x) y) y)) (- (* b a) (* y x)))

simplify1.9s

Counts
103 → 103
Iterations
IterNodes
done5001
23252
1465
0160

prune798.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize161.0ms

Local error

Found 4 expressions with local error:

29.9b
(/ (* (cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))) (cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))) (* (cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))) (cbrt (* (- (* y x) (* t z)) (- (* b a) (* c i))))))
32.2b
(cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))
32.7b
(cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))))
36.6b
(cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))

rewrite30.9s

Algorithm
rewrite-expression-head
Rules
183312×frac-times
95484×flip3-- flip--
89192×cbrt-div
88192×frac-add
62782×flip3-+ flip-+
59616×associate-*l/ associate-*r/
44520×associate-/l/
80×associate-/r/
16×add-exp-log
8×add-cbrt-cube
7×cbrt-prod
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod add-log-exp
3×pow1/3
1×clear-num associate-/r* frac-2neg times-frac div-inv associate-/l*
Counts
4 → 45080
Calls
4 calls:
5.9s
(/ (* (cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))) (cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))) (* (cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))) (cbrt (* (- (* y x) (* t z)) (- (* b a) (* c i))))))
104.0ms
(cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))
138.0ms
(cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))))
169.0ms
(cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))

series21.7s

Counts
4 → 12
Calls
4 calls:
17.8s
(/ (* (cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))) (cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))) (* (cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))) (cbrt (* (- (* y x) (* t z)) (- (* b a) (* c i))))))
738.0ms
(cbrt (* (- (* b a) (* c i)) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x))))
2.1s
(cbrt (+ (* (- (* b a) (* c i)) (+ (pow (* y x) 3) (pow (* t z) 3))) (* (* (+ (* b a) (* c i)) (- (* b a) (* c i))) (+ (* (- (* t z) (* y x)) (* t z)) (* (* y (* y x)) x)))))
1.0s
(cbrt (+ (* (- (* b a) (* c i)) (- (* (* y (* y x)) x) (* (* t z) (* t z)))) (* (- (* y x) (* t z)) (* (+ (* b a) (* c i)) (- (* b a) (* c i))))))

simplify38.9s

Counts
45092 → 45092
Iterations
IterNodes
done91667
091667

prune8.3m