Details

Time bar (total: 7.9s)

sample143.0ms

Algorithm
intervals
Results
26.0ms55×body1280valid
25.0ms304×body80nan
14.0ms175×body80valid
10.0ms31×body640valid
9.0ms21×body320valid
8.0ms12×body2560valid
2.0ms10×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08419
18419

prune16.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: 22.7b

Counts
2 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (/ t 3.0))
0.2b
(/ a (* 3.0 b))
0.3b
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
26.3b
(cos (- y (* z (/ t 3.0))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity
16×add-exp-log associate-*r* add-cbrt-cube
13×times-frac
9×associate-*l*
8×pow1
4×prod-exp sqrt-prod cbrt-unprod add-log-exp unswap-sqr
3×cbrt-undiv cos-diff div-exp associate-/l*
2×cos-sum pow-prod-down *-commutative div-inv
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in associate-*r/ clear-num associate-/r*
Counts
4 → 87
Calls
4 calls:
8.0ms
(* z (/ t 3.0))
5.0ms
(/ a (* 3.0 b))
6.0ms
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
4.0ms
(cos (- y (* z (/ t 3.0))))

series48.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* z (/ t 3.0))
3.0ms
(/ a (* 3.0 b))
29.0ms
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
12.0ms
(cos (- y (* z (/ t 3.0))))

simplify48.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05351916

prune360.0ms

Filtered
73 candidates to 99 candidates (-35.6%)
Pruning

26 alts after pruning (26 fresh and 0 done)

PrunedKeptTotal
New732699
Fresh101
Picked101
Done000
Total7526101

Merged error: 18.7b

Counts
101 → 26

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
1.2b
(* (sin (* z (/ t 3.0))) (sqrt x))
30.2b
(sin (* z (/ t 3.0)))
30.2b
(cos (* z (/ t 3.0)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×pow1 add-exp-log add-cbrt-cube
8×add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×associate-*l*
4×pow-prod-down prod-exp sqrt-prod cbrt-unprod add-log-exp
2×*-commutative unswap-sqr
Counts
4 → 54
Calls
4 calls:
9.0ms
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
8.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series59.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
17.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
4.0ms
(sin (* z (/ t 3.0)))
4.0ms
(cos (* z (/ t 3.0)))

simplify36.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
05904698

prune328.0ms

Filtered
51 candidates to 66 candidates (-29.4%)
Pruning

30 alts after pruning (30 fresh and 0 done)

PrunedKeptTotal
New58866
Fresh32225
Picked101
Done000
Total623092

Merged error: 18.6b

Counts
92 → 30

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
1.2b
(* (sin (* z (/ t 3.0))) (sqrt x))
30.0b
(cos (* z (* t 0.3333333333333333)))
30.2b
(sin (* z (/ t 3.0)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×pow1 add-exp-log add-cbrt-cube
8×add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×associate-*l*
4×pow-prod-down prod-exp sqrt-prod cbrt-unprod add-log-exp
2×*-commutative unswap-sqr
Counts
4 → 54
Calls
4 calls:
9.0ms
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
7.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
3.0ms
(cos (* z (* t 0.3333333333333333)))
2.0ms
(sin (* z (/ t 3.0)))

series60.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
17.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
4.0ms
(cos (* z (* t 0.3333333333333333)))
4.0ms
(sin (* z (/ t 3.0)))

simplify40.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05903698

prune328.0ms

Filtered
49 candidates to 66 candidates (-34.7%)
Pruning

32 alts after pruning (32 fresh and 0 done)

PrunedKeptTotal
New62466
Fresh12829
Picked101
Done000
Total643296

Merged error: 18.6b

Counts
96 → 32

localize36.0ms

Local error

Found 4 expressions with local error:

30.0b
(cos (* z (* t 0.3333333333333333)))
30.0b
(cos (* z (* t 0.3333333333333333)))
30.0b
(cos (* z (* t 0.3333333333333333)))
30.2b
(sin (* z (/ t 3.0)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
4 → 28
Calls
4 calls:
4.0ms
(cos (* z (* t 0.3333333333333333)))
3.0ms
(cos (* z (* t 0.3333333333333333)))
3.0ms
(cos (* z (* t 0.3333333333333333)))
2.0ms
(sin (* z (/ t 3.0)))

series16.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(cos (* z (* t 0.3333333333333333)))
4.0ms
(cos (* z (* t 0.3333333333333333)))
4.0ms
(cos (* z (* t 0.3333333333333333)))
4.0ms
(sin (* z (/ t 3.0)))

simplify92.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
05076288

prune142.0ms

Filtered
33 candidates to 40 candidates (-21.2%)
Pruning

31 alts after pruning (30 fresh and 1 done)

PrunedKeptTotal
New38240
Fresh32831
Picked011
Done000
Total413172

Merged error: 18.6b

Counts
72 → 31

regimes1.9s

Accuracy

34.6% (2.6b remaining)

Error of 19.6b against oracle of 17.0b and baseline of 21.0b

bsearch116.0ms

Steps
ItersRangePoint
6
716941350418660.9
10736239307214092.0
734174736512156.6
7
-3.787772416415829e-62
-1.1260909419940167e-63
-2.5106024494944644e-62

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078121
178121

end0.0ms

sample4.0s

Algorithm
intervals
Results
783.0ms1667×body1280valid
762.0ms9096×body80nan
445.0ms5494×body80valid
313.0ms884×body640valid
277.0ms388×body2560valid
121.0ms465×body320valid
37.0ms209×body160valid

Profiling

Loading profile data...