Details

Time bar (total: 24.6s)

sample163.0ms

Algorithm
intervals
Results
49.0ms619×body80valid
40.0ms633×body80nan

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
72095
6679
5324
4182
388
241
125
015

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1
11×add-cbrt-cube
9×add-sqr-sqrt add-exp-log
7×*-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
5×associate-*r* pow-prod-down
4×prod-exp cbrt-unprod
2×sqrt-pow1 associate-*l/ *-commutative sqrt-prod
1×exp-prod flip3-- exp-to-pow pow1/2 flip-- unswap-sqr rem-exp-log
Counts
4 → 60
Calls
4 calls:
4.0ms
(exp (* (/ t 2.0) t))
27.0ms
(* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0)))
5.0ms
(sqrt (* z 2.0))
88.0ms
(* (- (* x 0.5) y) (* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0))))

series393.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(exp (* (/ t 2.0) t))
125.0ms
(* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0)))
58.0ms
(sqrt (* z 2.0))
184.0ms
(* (- (* x 0.5) y) (* (exp (* (/ t 2.0) t)) (sqrt (* z 2.0))))

simplify833.0ms

Counts
72 → 72
Iterations
IterNodes
done5002
22010
1466
0173

prune518.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite387.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-cbrt-cube
17×add-exp-log
16×add-sqr-sqrt
12×*-un-lft-identity add-cube-cbrt
10×associate-*r* associate-*l* pow-prod-down prod-exp cbrt-unprod
7×exp-prod sqrt-prod
5×add-log-exp
3×times-frac *-commutative
2×associate-*l/ unswap-sqr
1×flip3-- div-inv flip-- rem-exp-log
Counts
4 → 81
Calls
4 calls:
4.0ms
(exp (/ (* t t) 2.0))
29.0ms
(* (sqrt z) (exp (/ (* t t) 2.0)))
271.0ms
(* (- (* x 0.5) y) (* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0)))
81.0ms
(* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0))

series503.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(exp (/ (* t t) 2.0))
85.0ms
(* (sqrt z) (exp (/ (* t t) 2.0)))
242.0ms
(* (- (* x 0.5) y) (* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0)))
149.0ms
(* (* (sqrt z) (exp (/ (* t t) 2.0))) (sqrt 2.0))

simplify859.0ms

Counts
93 → 93
Iterations
IterNodes
done5001
22188
1493
0184

prune616.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
75×times-frac
54×add-sqr-sqrt
52×*-un-lft-identity add-cube-cbrt
25×add-cbrt-cube
22×add-exp-log
20×pow1
15×associate-*r*
13×associate-/r*
12×associate-*l/
10×pow-prod-down prod-exp cbrt-unprod
6×sqrt-prod
5×associate-*l* div-inv
4×add-log-exp
3×cbrt-undiv flip3-- div-exp *-commutative flip-- associate-/l*
1×clear-num frac-2neg associate-/r/ unswap-sqr
Counts
4 → 139
Calls
4 calls:
94.0ms
(* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t))))
7.0ms
(/ t (/ 2.0 t))
246.0ms
(* (* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t)))) (sqrt z))
923.0ms
(* (* (* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t)))) (sqrt z)) (sqrt 2.0))

series536.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t))))
28.0ms
(/ t (/ 2.0 t))
174.0ms
(* (* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t)))) (sqrt z))
238.0ms
(* (* (* (- (* 0.5 x) y) (exp (/ t (/ 2.0 t)))) (sqrt z)) (sqrt 2.0))

simplify1.6s

Counts
151 → 151
Iterations
IterNodes
done5000
24477
1749
0272

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
106×add-exp-log
88×prod-exp
39×add-cbrt-cube
34×cbrt-unprod
17×associate-*l*
16×pow1
14×add-sqr-sqrt
12×*-un-lft-identity associate-*r* add-cube-cbrt
9×pow-to-exp pow-exp
7×pow-prod-down sqrt-prod
6×cbrt-prod associate-*l/
4×*-commutative add-log-exp
3×unpow-prod-down
2×flip3-- flip-- unswap-sqr
1×sqr-pow
Counts
4 → 118
Calls
4 calls:
99.0ms
(* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
276.0ms
(* (- (* 0.5 x) y) (* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))))
24.0ms
(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
950.0ms
(* (* (- (* 0.5 x) y) (* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (cbrt (sqrt 2.0)))

series1.9s

Counts
4 → 12
Calls
4 calls:
469.0ms
(* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
805.0ms
(* (- (* 0.5 x) y) (* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))))
278.0ms
(* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
348.0ms
(* (* (- (* 0.5 x) y) (* (pow (exp (/ t 2.0)) t) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (cbrt (sqrt 2.0)))

simplify1.8s

Counts
130 → 130
Iterations
IterNodes
done5000
23298
1716
0252

prune680.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes1.4s

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done24
124
019

end0.0ms

sample6.9s

Algorithm
intervals
Results
2.6s17656×body80nan
2.0s17876×body80valid