Details

Time bar (total: 20.1s)

sample148.0ms

Algorithm
intervals
Results
54.0ms570×body80valid
33.0ms535×body80nan

simplify1.1s

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize14.0ms

Local error

Found 3 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.2b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite174.0ms

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

series323.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(/ (* t t) 2.0)
187.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
109.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify755.0ms

Counts
71 → 71

prune343.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite720.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
38×add-exp-log
26×add-sqr-sqrt
24×pow-prod-down
23×prod-exp add-cbrt-cube cbrt-unprod
19×cbrt-prod
17×associate-*r*
16×add-cube-cbrt *-un-lft-identity
12×associate-*l/
11×associate-*l*
6×pow1/3 swap-sqr
5×unswap-sqr
4×*-commutative add-log-exp
3×flip3-- flip--
2×pow-sqr pow-prod-up
1×pow2 pow-plus sqrt-prod
Counts
4 → 117
Calls
4 calls:
26.0ms
(* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
148.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0)))))
468.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))) (cbrt (exp (/ (* t t) 2.0))))
70.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series767.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
294.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0)))))
174.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))) (cbrt (exp (/ (* t t) 2.0))))
113.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.2s

Counts
129 → 129

prune500.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite455.0ms

Algorithm
rewrite-expression-head
Rules
31×add-exp-log sqrt-prod
28×associate-*r*
26×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
19×prod-exp
18×unpow-prod-down cube-prod
16×cbrt-prod
14×add-cbrt-cube
9×pow1
8×associate-*l/
7×cbrt-unprod
4×pow-to-exp pow-pow sqrt-pow1 associate-*l* pow-exp add-log-exp
3×pow-unpow
2×cube-mult rem-sqrt-square flip3-- pow1/2 pow1/3 unpow3 *-commutative flip-- sqr-pow
1×pow-prod-down sqrt-pow2 rem-cube-cbrt unswap-sqr
Counts
4 → 125
Calls
4 calls:
7.0ms
(sqrt (cbrt (exp (/ (* t t) 2.0))))
378.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (cbrt (exp (/ (* t t) 2.0)))) (pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3))
8.0ms
(pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3)
56.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series965.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(sqrt (cbrt (exp (/ (* t t) 2.0))))
389.0ms
(* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (cbrt (exp (/ (* t t) 2.0)))) (pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3))
242.0ms
(pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3)
142.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify1.6s

Counts
137 → 137

prune592.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite339.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-sqr-sqrt
21×add-exp-log
19×sqrt-prod
18×add-cube-cbrt *-un-lft-identity associate-*r* add-cbrt-cube
12×associate-*l/
10×pow-prod-down prod-exp cbrt-unprod
9×cbrt-prod unpow-prod-down cube-prod
5×associate-*l*
4×pow-pow add-log-exp
3×pow-unpow flip3-- *-commutative flip--
2×sqrt-pow1 unswap-sqr
1×cube-mult pow-to-exp pow1/2 pow1/3 unpow3 pow-exp sqrt-pow2 rem-cube-cbrt sqr-pow
Counts
4 → 112
Calls
4 calls:
223.0ms
(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (cbrt (exp (/ (* t t) 2.0))))
8.0ms
(pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3)
33.0ms
(* (- (* x 0.5) y) (sqrt z))
70.0ms
(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

series866.0ms

Counts
4 → 12
Calls
4 calls:
340.0ms
(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (cbrt (exp (/ (* t t) 2.0))))
276.0ms
(pow (sqrt (cbrt (exp (/ (* t t) 2.0)))) 3)
76.0ms
(* (- (* x 0.5) y) (sqrt z))
174.0ms
(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

simplify1.2s

Counts
124 → 124

prune517.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes804.0ms

Accuracy

9.6% (0.2b remaining)

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

bsearch0.0ms

simplify1.1s

end0.0ms

sample5.5s

Algorithm
intervals
Results
1.9s18044×body80valid
1.8s18110×body80nan