Details

Time bar (total: 22.4s)

sample119.0ms

Algorithm
intervals
Results
51.0ms638×body80nan
23.0ms256×body80valid

simplify5.1s

Counts
1 → 1
Iterations
IterNodes
done5001
41551
3412
2119
138
018

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ x (* y 27.0))
1.0b
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
88×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
27×cbrt-undiv div-exp
26×add-sqr-sqrt
18×associate-*l*
17×*-un-lft-identity add-cube-cbrt
15×times-frac
9×associate-*r*
8×pow1
4×sqrt-prod div-inv associate-/l* add-log-exp unswap-sqr
2×clear-num associate-/r* frac-2neg pow-prod-down associate-*l/ *-commutative
1×associate-*r/ associate-/l/
Counts
4 → 124
Calls
4 calls:
9.0ms
(/ x (* y 27.0))
19.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
96.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
30.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series231.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ x (* y 27.0))
28.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
146.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
37.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5030
23122
1705
0248

prune717.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
1.0b
(/ 1.0 (cbrt 3.0))
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
85×add-exp-log
83×add-cbrt-cube
48×add-sqr-sqrt
40×times-frac
36×*-un-lft-identity add-cube-cbrt
35×prod-exp cbrt-unprod
27×associate-*l*
26×cbrt-undiv div-exp
22×cbrt-prod
9×associate-*r*
8×pow1
7×associate-/r*
5×unswap-sqr
4×sqrt-prod div-inv associate-/l* add-log-exp
2×clear-num frac-2neg pow-prod-down associate-*l/ *-commutative
1×associate-*r/ associate-/l/
Counts
4 → 152
Calls
4 calls:
18.0ms
(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
4.0ms
(/ 1.0 (cbrt 3.0))
57.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
23.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series266.0ms

Counts
4 → 10
Calls
4 calls:
105.0ms
(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.0ms
(/ 1.0 (cbrt 3.0))
127.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
34.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify1.7s

Counts
162 → 162
Iterations
IterNodes
done5051
23175
1750
0269

prune1.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (/ x (* y 27.0)))
0.5b
(/ x (* y 27.0))
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
92×add-cbrt-cube add-exp-log
38×prod-exp cbrt-unprod
28×cbrt-undiv div-exp
18×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity add-cube-cbrt
8×pow1 times-frac associate-*l*
4×sqrt-prod div-inv associate-/l* add-log-exp
3×unswap-sqr
2×clear-num associate-/r* frac-2neg pow-prod-down associate-*r/ *-commutative
1×associate-*l/ associate-/l/
Counts
4 → 119
Calls
4 calls:
26.0ms
(* 3.0 (/ x (* y 27.0)))
8.0ms
(/ x (* y 27.0))
79.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
22.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series224.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* 3.0 (/ x (* y 27.0)))
27.0ms
(/ x (* y 27.0))
124.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
40.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify1.7s

Counts
131 → 131
Iterations
IterNodes
done5115
22805
1593
0200

prune780.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ x (* y 27.0))
2.4b
(log (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.6b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
83×add-cbrt-cube add-exp-log
34×prod-exp cbrt-unprod
26×cbrt-undiv div-exp
14×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
7×pow1
6×associate-*r*
5×times-frac associate-*l* add-log-exp
4×sqrt-prod associate-/l*
3×log-prod log-pow div-inv
2×clear-num associate-/r* frac-2neg unswap-sqr
1×exp-prod exp-to-pow rem-log-exp pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 106
Calls
4 calls:
6.0ms
(/ x (* y 27.0))
4.0ms
(log (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
54.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
28.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series289.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ x (* y 27.0))
119.0ms
(log (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
106.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
42.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify1.7s

Counts
118 → 118
Iterations
IterNodes
done5081
22663
1570
0198

prune805.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify9.0ms

Iterations
IterNodes
done33
133
025

end0.0ms

sample4.9s

Algorithm
intervals
Results
2.8s23590×body80nan
933.0ms8000×body80valid