Details

Time bar (total: 21.9s)

sample145.0ms

Algorithm
intervals
Results
61.0ms638×body80nan
22.0ms256×body80valid

simplify4.2s

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize49.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))

rewrite145.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:
6.0ms
(/ x (* y 27.0))
12.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
93.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
29.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series228.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(/ x (* y 27.0))
20.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
126.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
49.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify1.9s

Counts
136 → 136
Iterations
IterNodes
done5030
23122
1705
0248

prune745.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize49.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))

rewrite121.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:
15.0ms
(* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
5.0ms
(/ 1.0 (cbrt 3.0))
56.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
39.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series260.0ms

Counts
4 → 10
Calls
4 calls:
99.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))
131.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
30.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

localize35.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))

rewrite114.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:
16.0ms
(* 3.0 (/ x (* y 27.0)))
6.0ms
(/ x (* y 27.0))
64.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
23.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series223.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 3.0 (/ x (* y 27.0)))
28.0ms
(/ x (* y 27.0))
119.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
47.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify1.7s

Counts
131 → 131
Iterations
IterNodes
done5115
22805
1593
0200

prune660.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize53.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))

rewrite121.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))))
78.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
27.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

series333.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ x (* y 27.0))
131.0ms
(log (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
126.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
48.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

simplify2.1s

Counts
118 → 118
Iterations
IterNodes
done5081
22663
1570
0198

prune706.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify6.0ms

Iterations
IterNodes
done33
133
025

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.1s23590×body80nan
1.5s8000×body80valid