Details

Time bar (total: 3.4s)

sample95.0ms

Algorithm
intervals
Results
34.0ms59×body1280valid
15.0ms44×body640valid
10.0ms121×body80valid
6.0ms256×pre80true
5.0ms19×body320valid
2.0ms13×body160valid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02211
12211

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(sin v)
0.0b
(/ (sin v) (+ 1.0 (* e (cos v))))
0.1b
(* e (cos v))
0.1b
(* e (/ (sin v) (+ 1.0 (* e (cos v)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
19×times-frac
18×associate-*r*
13×add-exp-log add-cbrt-cube
8×pow1
6×associate-*l*
4×associate-/r/ add-log-exp
3×prod-exp associate-/r* cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv flip3-+ div-exp pow-prod-down *-commutative flip-+ div-inv
1×frac-2neg associate-*r/ clear-num
Counts
4 → 88
Calls
4 calls:
2.0ms
(sin v)
6.0ms
(/ (sin v) (+ 1.0 (* e (cos v))))
5.0ms
(* e (cos v))
12.0ms
(* e (/ (sin v) (+ 1.0 (* e (cos v)))))

series64.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(sin v)
15.0ms
(/ (sin v) (+ 1.0 (* e (cos v))))
7.0ms
(* e (cos v))
39.0ms
(* e (/ (sin v) (+ 1.0 (* e (cos v)))))

simplify51.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049611140
149611140

prune155.0ms

Filtered
75 candidates to 100 candidates (-33.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New928100
Fresh011
Picked101
Done000
Total939102

Merged error: 0.0b

Counts
102 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(sin v)
0.0b
(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
0.1b
(* e (sin v))
0.1b
(* e (cos v))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×add-exp-log add-cbrt-cube
10×add-cube-cbrt *-un-lft-identity
8×pow1
6×associate-*r* associate-*l*
4×add-log-exp
3×times-frac prod-exp associate-/r* cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-/r/ *-commutative unswap-sqr
1×frac-2neg flip3-+ clear-num flip-+ div-inv associate-/l*
Counts
4 → 66
Calls
4 calls:
2.0ms
(sin v)
9.0ms
(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
4.0ms
(* e (sin v))
5.0ms
(* e (cos v))

series38.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(sin v)
21.0ms
(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
8.0ms
(* e (sin v))
7.0ms
(* e (cos v))

simplify40.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05876642

prune99.0ms

Filtered
56 candidates to 78 candidates (-39.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New75378
Fresh448
Picked011
Done000
Total79887

Merged error: 0.0b

Counts
87 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(sin v)
0.1b
(/ (+ (* e (cos v)) 1.0) (sin v))
0.1b
(* e (cos v))
0.2b
(/ e (/ (+ (* e (cos v)) 1.0) (sin v)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
58×add-sqr-sqrt
56×add-cube-cbrt *-un-lft-identity
16×associate-/r*
13×add-exp-log add-cbrt-cube
6×pow1 div-inv associate-/l*
4×cbrt-undiv div-exp add-log-exp
3×associate-*r* associate-*l*
2×frac-2neg clear-num associate-/l/
1×flip3-+ pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 124
Calls
4 calls:
2.0ms
(sin v)
7.0ms
(/ (+ (* e (cos v)) 1.0) (sin v))
5.0ms
(* e (cos v))
9.0ms
(/ e (/ (+ (* e (cos v)) 1.0) (sin v)))

series46.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(sin v)
16.0ms
(/ (+ (* e (cos v)) 1.0) (sin v))
7.0ms
(* e (cos v))
21.0ms
(/ e (/ (+ (* e (cos v)) 1.0) (sin v)))

simplify66.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049722062
149722062

prune181.0ms

Filtered
109 candidates to 136 candidates (-24.8%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1351136
Fresh156
Picked011
Done011
Total1368144

Merged error: 0b

Counts
144 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (sin v) (+ 1.0 (* e (cos v))))
0.1b
(* e (cos v))
0.3b
(* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e))
0.3b
(* (sqrt e) (* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
25×add-cube-cbrt *-un-lft-identity
24×associate-*l*
22×add-exp-log add-cbrt-cube
20×times-frac
13×pow1
10×associate-*r*
8×prod-exp sqrt-prod cbrt-unprod
5×pow-prod-down unswap-sqr
4×associate-/r/ add-log-exp
3×cbrt-undiv div-exp associate-/r* *-commutative associate-/l*
2×flip3-+ associate-*l/ flip-+ div-inv
1×frac-2neg associate-*r/ clear-num
Counts
4 → 110
Calls
4 calls:
6.0ms
(/ (sin v) (+ 1.0 (* e (cos v))))
5.0ms
(* e (cos v))
10.0ms
(* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e))
15.0ms
(* (sqrt e) (* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e)))

series88.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(/ (sin v) (+ 1.0 (* e (cos v))))
7.0ms
(* e (cos v))
31.0ms
(* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e))
32.0ms
(* (sqrt e) (* (/ (sin v) (+ 1.0 (* e (cos v)))) (sqrt e)))

simplify30.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
050331743

prune137.0ms

Filtered
90 candidates to 122 candidates (-35.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1211122
Fresh145
Picked011
Done112
Total1237130

Merged error: 0b

Counts
130 → 7

regimes174.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01211
11211

end0.0ms

sample2.0s

Algorithm
intervals
Results
703.0ms1535×body1280valid
360.0ms1228×body640valid
301.0ms4304×body80valid
144.0ms641×body320valid
138.0ms8000×pre80true
46.0ms292×body160valid

Profiling

Loading profile data...