Details

Time bar (total: 22.7s)

sample182.0ms

Algorithm
intervals
Results
66.0ms591×body80valid
46.0ms656×body80nan

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01517
12517
24117
38817
416117
526517
658717
7171717
done500117

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

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

rewrite221.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:
15.0ms
(/ (* t t) 2.0)
141.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
7.0ms
(exp (/ (* t t) 2.0))
56.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series458.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ (* t t) 2.0)
246.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
30.0ms
(exp (/ (* t t) 2.0))
142.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.6s

Counts
89 → 89
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01751210
14351141
21407988
done5000964

prune345.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

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

rewrite145.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:
6.0ms
(pow (exp t) (/ t 2.0))
97.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
39.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series429.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(pow (exp t) (/ t 2.0))
235.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
122.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.2s

Counts
86 → 86
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01861303
14821202
215461087
done50011063

prune380.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

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

rewrite536.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:
14.0ms
(pow (exp t) (/ (/ t 2.0) 2))
127.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
339.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (pow (exp t) (/ (/ t 2.0) 2)))
46.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series768.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(pow (exp t) (/ (/ t 2.0) 2))
263.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
301.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2))) (pow (exp t) (/ (/ t 2.0) 2)))
143.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.6s

Counts
161 → 161
Iterations

Useful iterations: done (1.6s)

IterNodesCost
03253381
18832704
228372448
done50002419

prune716.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

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

rewrite684.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:
142.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
469.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)))
12.0ms
(pow (pow (exp t) (/ (/ t 2.0) 2)) 3)
54.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series819.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
280.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)))
119.0ms
(pow (pow (exp t) (/ (/ t 2.0) 2)) 3)
156.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.9s

Counts
137 → 137
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02613404
16762730
226682475
done50012384

prune559.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

regimes486.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02028
12628
done2628

end0.0ms

sample6.5s

Algorithm
intervals
Results
2.6s17840×body80nan
1.9s17940×body80valid