Details

Time bar (total: 18.8s)

sample188.0ms

Algorithm
intervals
Results
61.0ms656×body80nan
60.0ms591×body80valid

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01517
12517
24117
38817
416117
526517
658717
7171717
done500117

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* t t) 2.0)
0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.0b
(exp (/ (* t t) 2.0))
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube
14×add-exp-log
13×add-sqr-sqrt
11×pow1 add-cube-cbrt *-un-lft-identity
7×exp-prod associate-*r*
6×times-frac associate-*l/
5×prod-exp cbrt-unprod add-log-exp
4×associate-*l* pow-prod-down
3×associate-/r*
2×cbrt-undiv flip3-- div-exp *-commutative flip-- div-inv
1×frac-2neg clear-num sqrt-prod rem-exp-log associate-/l* unswap-sqr
Counts
4 → 77
Calls
4 calls:
11.0ms
(/ (* t t) 2.0)
163.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
10.0ms
(exp (/ (* t t) 2.0))
89.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series510.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ (* t t) 2.0)
258.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
37.0ms
(exp (/ (* t t) 2.0))
172.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.5s

Counts
89 → 89
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01751210
14351141
21407988
done5000964

prune467.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(pow (exp t) (/ t 2.0))
0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-exp-log add-cube-cbrt *-un-lft-identity
13×pow-unpow
11×associate-*r*
10×prod-exp add-cbrt-cube
9×times-frac
6×pow1 unpow-prod-down associate-*l/
4×pow-pow associate-*l* cbrt-unprod
3×pow-to-exp exp-prod pow-exp add-log-exp
2×flip3-- *-commutative flip-- sqr-pow
1×pow-prod-down sqrt-prod div-inv unswap-sqr
Counts
3 → 77
Calls
3 calls:
12.0ms
(pow (exp t) (/ t 2.0))
102.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
47.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series556.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(pow (exp t) (/ t 2.0))
293.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
172.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.6s

Counts
86 → 86
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01861303
14821202
215461087
done50011063

prune481.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp t) (/ (/ t 2.0) 2))
0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
0.0b
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (pow (exp t) (/ (/ t 2.0) 2)))
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite654.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
60×add-exp-log
58×prod-exp
49×add-sqr-sqrt
47×add-cube-cbrt *-un-lft-identity
43×pow-unpow
20×add-cbrt-cube
18×associate-*r*
16×pow-to-exp pow-exp
12×associate-*l/
10×cbrt-unprod
9×unpow-prod-down
7×pow1
5×associate-*l*
4×pow-pow div-inv add-log-exp
3×exp-prod flip3-- *-commutative flip-- sqr-pow
1×pow-prod-down sqrt-prod unswap-sqr
Counts
4 → 149
Calls
4 calls:
15.0ms
(pow (exp t) (/ (/ t 2.0) 2))
114.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
460.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (pow (exp t) (/ (/ t 2.0) 2)))
53.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series839.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(pow (exp t) (/ (/ t 2.0) 2))
276.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
309.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (pow (exp t) (/ (/ t 2.0) 2)))
156.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify2.1s

Counts
161 → 161
Iterations

Useful iterations: done (2.1s)

IterNodesCost
03253381
18832704
228372448
done50002419

prune855.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
0.0b
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (pow (exp t) (/ (/ t 2.0) 2)) 3)))
0.0b
(pow (pow (exp t) (/ (/ t 2.0) 2)) 3)
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite700.0ms

Algorithm
rewrite-expression-head
Rules
37×add-exp-log
34×associate-*r*
29×unpow-prod-down
26×prod-exp
21×add-sqr-sqrt
20×cbrt-prod
19×add-cube-cbrt *-un-lft-identity
18×add-cbrt-cube
14×cube-prod
12×associate-*l/
10×cbrt-unprod
8×pow1 pow-exp
7×sqr-pow
6×pow-to-exp
5×associate-*l*
4×add-log-exp
3×pow-unpow flip3-- *-commutative flip--
2×cube-mult unpow3 pow-prod-down
1×pow-pow sqrt-prod rem-cube-cbrt unswap-sqr
Counts
4 → 125
Calls
4 calls:
135.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
492.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (pow (exp t) (/ (/ t 2.0) 2)) 3)))
15.0ms
(pow (pow (exp t) (/ (/ t 2.0) 2)) 3)
49.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series896.0ms

Counts
4 → 12
Calls
4 calls:
299.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
310.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (pow (exp t) (/ (/ t 2.0) 2)) 3)))
149.0ms
(pow (pow (exp t) (/ (/ t 2.0) 2)) 3)
137.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify2.1s

Counts
137 → 137
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02613404
16762730
226682475
done50012384

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

regimes9.0ms