Details

Time bar (total: 8.9s)

sample409.0ms

Algorithm
intervals
Results
57.0ms17×body2560valid
46.0ms54×body1280valid
16.0ms143×body80valid
13.0ms28×body640valid
4.0ms13×body320valid
2.0ms11×body160valid

simplify20.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0197
1417
2827
31227
41477
51577
61597
71597

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.3b
(/ 1.0 (* F F))
6.9b
(* (/ 1.0 (* F F)) (tan (* PI l)))
28.4b
(tan (* PI l))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log add-cbrt-cube
17×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
10×associate-*l*
8×pow1
7×times-frac
6×associate-*r* prod-exp cbrt-unprod
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×tan-quot associate-/l* unswap-sqr
2×pow-prod-down *-commutative div-inv
1×frac-times frac-2neg associate-*r/ associate-*l/ clear-num associate-/r*
Counts
4 → 85
Calls
4 calls:
3.0ms
(* PI l)
3.0ms
(/ 1.0 (* F F))
17.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
4.0ms
(tan (* PI l))

series249.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* PI l)
24.0ms
(/ 1.0 (* F F))
133.0ms
(* (/ 1.0 (* F F)) (tan (* PI l)))
71.0ms
(tan (* PI l))

simplify47.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0334468
11442399
25001398

prune247.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.1b

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.3b
(* (/ (sqrt 1.0) F) (tan (* PI l)))
28.4b
(tan (* PI l))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
28×associate-*l*
22×add-cube-cbrt *-un-lft-identity
20×times-frac
13×add-exp-log add-cbrt-cube
10×pow1 sqrt-prod
9×associate-*r*
5×unswap-sqr
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×tan-quot pow-prod-down *-commutative
1×cbrt-undiv frac-times associate-*r/ div-exp associate-*l/ div-inv
Counts
4 → 96
Calls
4 calls:
6.0ms
(* PI l)
3.0ms
(* PI l)
16.0ms
(* (/ (sqrt 1.0) F) (tan (* PI l)))
2.0ms
(tan (* PI l))

series271.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* PI l)
24.0ms
(* PI l)
167.0ms
(* (/ (sqrt 1.0) F) (tan (* PI l)))
60.0ms
(tan (* PI l))

simplify103.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0305522
11082478
24101476
35001475

prune336.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 9.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.3b
(/ (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))))
27.8b
(cos (* PI l))
28.5b
(sin (* PI l))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×pow1 add-cube-cbrt *-un-lft-identity
5×prod-exp cbrt-unprod
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×associate-*r* associate-*l*
1×frac-2neg times-frac pow-prod-down clear-num associate-/r* *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 61
Calls
4 calls:
3.0ms
(* PI l)
8.0ms
(/ (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))))
2.0ms
(cos (* PI l))
2.0ms
(sin (* PI l))

series259.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* PI l)
201.0ms
(/ (* (sqrt 1.0) (sin (* PI l))) (* F (cos (* PI l))))
17.0ms
(cos (* PI l))
22.0ms
(sin (* PI l))

simplify47.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0356461
11749372
25002370

prune256.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l))))
0.5b
(/ 1 (/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l)))))
27.8b
(cos (* PI l))
28.5b
(sin (* PI l))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
60×add-exp-log
34×add-cbrt-cube
26×div-exp
20×times-frac
16×prod-exp
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×cbrt-undiv
8×cbrt-unprod
6×associate-/r* div-inv
5×pow1 rec-exp 1-exp
4×expm1-log1p-u log1p-expm1-u associate-/l* add-log-exp
2×frac-2neg clear-num
1×pow-flip associate-/r/ inv-pow
Counts
4 → 99
Calls
4 calls:
8.0ms
(/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l))))
12.0ms
(/ 1 (/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l)))))
2.0ms
(cos (* PI l))
2.0ms
(sin (* PI l))

series457.0ms

Counts
4 → 12
Calls
4 calls:
214.0ms
(/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l))))
204.0ms
(/ 1 (/ (* F (cos (* PI l))) (* (sqrt 1.0) (sin (* PI l)))))
16.0ms
(cos (* PI l))
22.0ms
(sin (* PI l))

simplify68.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
04741183
12536988
25002957

prune248.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.9b

regimes385.0ms

Accuracy

31.4% (2.5b remaining)

Error of 7.0b against oracle of 4.5b and baseline of 8.1b

bsearch3.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06346
16346

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.6s810×body2560valid
1.4s1715×body1280valid
456.0ms4494×body80valid
445.0ms980×body640valid
116.0ms391×body320valid
47.0ms2×body10240exit
43.0ms203×body160valid