Details

Time bar (total: 16.0s)

sample93.0ms

Algorithm
intervals
Results
24.0ms546×body80valid
22.0ms574×body80nan

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.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

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite140.0ms

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

series278.0ms

Counts
2 → 6
Calls
2 calls:
170.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
108.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify2.5s

Counts
47 → 47
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
0125885
1328838
21107717
34416693
done5001693

prune146.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
50×add-sqr-sqrt
48×add-cube-cbrt *-un-lft-identity
15×add-cbrt-cube
13×add-exp-log associate-/r*
10×pow1
7×associate-*l*
5×div-inv
4×associate-*r* pow-prod-down prod-exp cbrt-unprod
3×cbrt-undiv div-exp associate-/l* add-log-exp
2×associate-*l/ *-commutative
1×flip3-- frac-2neg clear-num sqrt-prod associate-/r/ flip-- unswap-sqr
Counts
3 → 109
Calls
3 calls:
80.0ms
(* (sqrt (* z 2.0)) (exp (/ t (/ 2.0 t))))
10.0ms
(/ t (/ 2.0 t))
222.0ms
(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (exp (/ t (/ 2.0 t)))))

series312.0ms

Counts
3 → 9
Calls
3 calls:
104.0ms
(* (sqrt (* z 2.0)) (exp (/ t (/ 2.0 t))))
27.0ms
(/ t (/ 2.0 t))
181.0ms
(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (exp (/ t (/ 2.0 t)))))

simplify1.1s

Counts
118 → 118
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02681819
16491704
222241510
done50011456

prune354.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite760.0ms

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

series417.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* (sqrt 2.0) (exp (/ t (/ 2.0 t))))
27.0ms
(/ t (/ 2.0 t))
209.0ms
(* (- (* x 0.5) y) (* (sqrt z) (* (sqrt 2.0) (exp (/ t (/ 2.0 t))))))
117.0ms
(* (sqrt z) (* (sqrt 2.0) (exp (/ t (/ 2.0 t)))))

simplify1.3s

Counts
148 → 148
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02822328
16792172
225341906
done50001862

prune430.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite320.0ms

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

series356.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* (sqrt 2.0) (exp (/ t (/ 2.0 t))))
26.0ms
(/ t (/ 2.0 t))
65.0ms
(* (- (* x 0.5) y) (sqrt z))
202.0ms
(* (* (- (* x 0.5) y) (sqrt z)) (* (sqrt 2.0) (exp (/ t (/ 2.0 t)))))

simplify1.2s

Counts
152 → 152
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02762244
16402091
223671823
done50001784

prune415.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes535.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01517
11917
done1917

end0.0ms

sample2.7s

Algorithm
intervals
Results
707.0ms17934×body80nan
701.0ms17770×body80valid