Details

Time bar (total: 3.5s)

sample47.0ms

Algorithm
intervals
Results
24.0ms284×body80valid

simplify480.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01313
12413
24613
37213
49313
510113
611013
714113
820313
922213
1022413
done22413

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.0b
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×*-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg associate-+l+ diff-log sum-log add-cbrt-cube
1×+-commutative associate-+l- flip3-- flip3-+ associate-*l/ frac-sub flip-- flip-+ distribute-lft-out
Counts
2 → 29
Calls
2 calls:
85.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
14.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series132.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
60.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify1.4s

Counts
35 → 35
Iterations

Useful iterations: 3 (382.0ms)

IterNodesCost
071602
1188568
2579540
32211530
done5000530

prune141.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3)
2.8b
(+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t))
3.8b
(+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3))
42.9b
(/ (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3)) (+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t)))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
71×*-un-lft-identity
27×times-frac
25×distribute-lft-out
23×unpow-prod-down cube-prod
21×add-sqr-sqrt add-cube-cbrt
9×associate-/l*
8×associate-+l+ add-log-exp
7×add-exp-log add-cbrt-cube
5×pow1 sum-cubes
4×distribute-rgt-in sub-neg distribute-lft-in flip3-+ associate--l+ flip-+
3×cube-div pow-unpow associate-/r*
2×+-commutative sum-log associate-/r/ associate-/l/
1×cbrt-undiv cube-mult pow-to-exp flip3-- pow-pow frac-2neg unpow3 div-exp associate-*l/ pow-exp clear-num frac-sub flip-- div-inv rem-cube-cbrt sqr-pow
Counts
4 → 117
Calls
4 calls:
41.0ms
(pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3)
152.0ms
(+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t))
177.0ms
(+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3))
698.0ms
(/ (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3)) (+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t)))

series2.0ms