Details

Time bar (total: 6.2s)

sample121.0ms

Algorithm
intervals
Results
36.0ms607×body80nan
31.0ms582×body80valid

simplify37.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0542117

prune9.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

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

rewrite27.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)
8.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)))

series75.0ms

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

simplify57.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049731129
149731129

prune211.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

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

series116.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (sqrt (exp (/ t 2.0))) t)
30.0ms
(* (sqrt (* z 2.0)) (* (pow (sqrt (exp (/ t 2.0))) t) (pow (sqrt (exp (/ t 2.0))) t)))
8.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))))

simplify66.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049732735
149732735

prune353.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

localize16.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))
12.0ms
(* (- (* x 0.5) y) (* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0))))
9.0ms
(* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

series91.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp (/ t 2.0)) t)
8.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
54.0ms
(* (- (* x 0.5) y) (* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0))))
25.0ms
(* (sqrt z) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

simplify71.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049531585
149531585

prune240.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

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

rewrite34.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))
12.0ms
(* (* (sqrt z) (- (* x 0.5) y)) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

series92.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp (/ t 2.0)) t)
8.0ms
(* (pow (exp (/ t 2.0)) t) (sqrt 2.0))
17.0ms
(* (sqrt z) (- (* x 0.5) y))
63.0ms
(* (* (sqrt z) (- (* x 0.5) y)) (* (pow (exp (/ t 2.0)) t) (sqrt 2.0)))

simplify70.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049711586
149711586

prune200.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

regimes760.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.4s

Algorithm
intervals
Results
979.0ms17769×body80valid
975.0ms17571×body80nan

Profiling

Loading profile data...