Details

Time bar (total: 6.5s)

sample125.0ms

Algorithm
intervals
Results
36.0ms607×body80nan
33.0ms582×body80valid

simplify37.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0542117

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.3b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

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

series71.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(pow (exp (/ t 2.0)) t)
22.0ms
(* (sqrt (* z 2.0)) (pow (exp (/ t 2.0)) t))
46.0ms
(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (pow (exp (/ t 2.0)) t)))

simplify64.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049731129
149731129

prune216.0ms

Filtered
65 candidates to 86 candidates (-32.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New761086
Fresh000
Picked101
Done000
Total771087

Merged error: 0.0b

Counts
87 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log
58×prod-exp
57×add-sqr-sqrt
50×unpow-prod-down
28×add-cube-cbrt *-un-lft-identity
26×sqrt-prod
20×add-cbrt-cube
19×pow-to-exp pow-exp
17×associate-*l* unswap-sqr
16×pow-pow
14×sqrt-pow1
13×pow1 exp-prod sqr-pow
12×swap-sqr associate-*r*
10×cbrt-unprod
9×times-frac
5×pow-prod-down
4×add-log-exp
3×pow-unpow *-commutative
2×associate-*l/
1×pow2 flip3-- pow1/2 pow-sqr pow-prod-up sqrt-pow2 flip-- div-inv
Counts
4 → 163
Calls
4 calls:
6.0ms
(pow (sqrt (exp (/ t 2.0))) t)
13.0ms
(* (sqrt (* z 2.0)) (* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t)))
12.0ms
(* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t))
18.0ms
(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t))))

series114.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (sqrt (exp (/ t 2.0))) t)
29.0ms
(* (sqrt (* z 2.0)) (* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t)))
7.0ms
(* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t))
73.0ms
(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t))))

simplify69.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049732735
149732735

prune390.0ms

Filtered
100 candidates to 175 candidates (-75.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1750175
Fresh099
Picked011
Done000
Total17510185

Merged error: 0.0b

Counts
185 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log
30×add-sqr-sqrt
22×prod-exp
20×add-cube-cbrt *-un-lft-identity add-cbrt-cube
16×associate-*l*
14×pow-pow
13×exp-prod
12×pow1
10×cbrt-unprod
9×times-frac sqrt-prod
8×unpow-prod-down associate-*r*
6×unswap-sqr
4×pow-to-exp pow-prod-down pow-exp add-log-exp sqr-pow
3×pow-unpow *-commutative
2×associate-*l/
1×flip3-- flip-- div-inv
Counts
4 → 107
Calls
4 calls:
5.0ms
(pow (exp (/ t 2.0)) t)
7.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
13.0ms
(* (- (* x 0.5) y) (* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0))))
8.0ms
(* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

series86.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp (/ t 2.0)) t)
7.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
51.0ms
(* (- (* x 0.5) y) (* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0))))
23.0ms
(* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

simplify68.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049531585
149531585

prune243.0ms

Filtered
83 candidates to 119 candidates (-43.4%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1163119
Fresh448
Picked011
Done011
Total1209129

Merged error: 0.0b

Counts
129 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
32×add-exp-log
22×prod-exp
20×add-cube-cbrt *-un-lft-identity add-cbrt-cube
14×pow-pow associate-*l*
13×exp-prod
12×pow1
10×associate-*r* sqrt-prod cbrt-unprod
9×times-frac
8×unpow-prod-down unswap-sqr
4×pow-to-exp associate-*r/ pow-prod-down pow-exp add-log-exp sqr-pow
3×pow-unpow *-commutative
2×distribute-rgt-in sub-neg flip3-- distribute-lft-in associate-*l/ flip--
1×div-inv
Counts
4 → 115
Calls
4 calls:
5.0ms
(pow (exp (/ t 2.0)) t)
7.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
7.0ms
(* (sqrt z) (- (* x 0.5) y))
14.0ms
(* (* (sqrt z) (- (* x 0.5) y)) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

series88.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp (/ t 2.0)) t)
7.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
19.0ms
(* (sqrt z) (- (* x 0.5) y))
58.0ms
(* (* (sqrt z) (- (* x 0.5) y)) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

simplify71.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049711586
149711586

prune210.0ms

Filtered
85 candidates to 127 candidates (-49.4%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1234127
Fresh336
Picked101
Done112
Total1288136

Merged error: 0b

Counts
136 → 8

regimes796.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02018
12018

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.0s17769×body80valid
1.0s17571×body80nan

Profiling

Loading profile data...