Details

Time bar (total: 7.9s)

sample137.0ms

Algorithm
intervals
Results
29.0ms60×body1280valid
23.0ms289×body80nan
14.0ms177×body80valid
11.0ms15×body2560valid
9.0ms26×body640valid
3.0ms12×body320valid
1.0ms3×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08419
18419

prune18.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.3b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.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:
4.0ms
(/ a (* 3.0 b))
7.0ms
(* z (/ t 3.0))
5.0ms
(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
3.0ms
(cos (- y (* z (/ t 3.0))))

series46.0ms

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

simplify54.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05333916

prune317.0ms

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

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New752499
Fresh101
Picked101
Done000
Total7724101

Merged error: 18.4b

Counts
101 → 24

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
1.6b
(* (sin (* z (/ t 3.0))) (sqrt x))
32.3b
(sin (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))

rewrite17.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:
7.0ms
(* (sin y) (* (sin (* z (/ t 3.0))) (sqrt x)))
5.0ms
(* (sin (* z (/ t 3.0))) (sqrt x))
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series65.0ms

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

simplify34.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05059708

prune301.0ms

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

29 alts after pruning (29 fresh and 0 done)

PrunedKeptTotal
New57966
Fresh32023
Picked101
Done000
Total612990

Merged error: 18.3b

Counts
90 → 29

localize32.0ms

Local error

Found 4 expressions with local error:

32.3b
(sin (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))

rewrite8.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:
2.0ms
(sin (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series14.0ms

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

simplify122.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
05077288

prune321.0ms

Filtered
36 candidates to 40 candidates (-11.1%)
Pruning

31 alts after pruning (31 fresh and 0 done)

PrunedKeptTotal
New36440
Fresh12728
Picked101
Done000
Total383169

Merged error: 18.3b

Counts
69 → 31

localize39.0ms

Local error

Found 4 expressions with local error:

32.8b
(cos (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))
32.8b
(cos (* z (/ t 3.0)))

rewrite8.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:
2.0ms
(cos (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))
2.0ms
(cos (* z (/ t 3.0)))

series14.0ms

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

simplify113.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
04740284
14740284

prune181.0ms

Filtered
36 candidates to 40 candidates (-11.1%)
Pruning

31 alts after pruning (31 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh12930
Picked101
Done000
Total403171

Merged error: 18.3b

Counts
71 → 31

regimes1.9s

Accuracy

25.3% (2.8b remaining)

Error of 19.0b against oracle of 16.1b and baseline of 19.9b

bsearch165.0ms

Steps
ItersRangePoint
7
9.584355624814139e-116
4.010662341874903e-114
9.81730977463954e-115
11
-1.7407512576929833e-26
-4.814405194988475e-46
-5.144927410038233e-29

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07095
17095

end0.0ms

sample4.0s

Algorithm
intervals
Results
814.0ms1617×body1280valid
723.0ms8893×body80nan
443.0ms5546×body80valid
349.0ms975×body640valid
272.0ms344×body2560valid
110.0ms429×body320valid
38.0ms209×body160valid

Profiling

Loading profile data...