Details

Time bar (total: 6.5s)

sample107.0ms

Algorithm
intervals
Results
24.0ms58×body1280valid
20.0ms291×body80nan
10.0ms165×body80valid
10.0ms14×body2560valid
10.0ms34×body640valid
3.0ms12×body320valid
1.0ms10×body160valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03310
15810
28210
39910
410710
510910
610910

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.5b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* z t) 3.0)
0.3b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.5b
(/ a (* b 3.0))
23.9b
(cos (- y (/ (* z t) 3.0)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
4×*-commutative
3×cos-diff
2×cos-sum frac-2neg associate-*l* clear-num associate-/r* div-inv associate-/l*
1×distribute-rgt-in sub-neg distribute-lft-in
Counts
4 → 18
Calls
4 calls:
4.0ms
(/ (* z t) 3.0)
5.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
3.0ms
(/ a (* b 3.0))
3.0ms
(cos (- y (/ (* z t) 3.0)))

series184.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ (* z t) 3.0)
102.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
20.0ms
(/ a (* b 3.0))
42.0ms
(cos (- y (/ (* z t) 3.0)))

simplify67.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 3 (24.0ms)

IterNodesCost
0152149
1338146
2777143
32211132
45001132

prune127.0ms

Filtered
30 candidates to 21 candidates (70.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New22830
Fresh000
Picked101
Done000
Total23831

Merged error: 18.2b

Counts
31 → 8

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
0.5b
(/ a (* b 3.0))
26.3b
(sin (/ (* z t) 3.0))
26.5b
(cos (/ (* z t) 3.0))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r/ *-commutative
2×+-commutative distribute-rgt-in distribute-lft-in associate-*l* associate-/r*
1×frac-2neg flip3-+ frac-add clear-num cos-mult flip-+ div-inv sin-mult
Counts
4 → 15
Calls
4 calls:
15.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
3.0ms
(/ a (* b 3.0))
4.0ms
(sin (/ (* z t) 3.0))
4.0ms
(cos (/ (* z t) 3.0))

series260.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
20.0ms
(/ a (* b 3.0))
17.0ms
(sin (/ (* z t) 3.0))
11.0ms
(cos (/ (* z t) 3.0))

simplify83.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 3 (76.0ms)

IterNodesCost
0241252
1713245
22602238
35001234

prune169.0ms

Filtered
27 candidates to 19 candidates (70.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New171027
Fresh437
Picked101
Done000
Total221335

Merged error: 18.0b

Counts
35 → 13

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin y) (sin (/ (* z t) 3.0)))
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
26.3b
(sin (/ (* z t) 3.0))
26.5b
(cos (/ (* z t) 3.0))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
3×associate-*r/ *-commutative
2×+-commutative distribute-rgt-in distribute-lft-in associate-*l* sin-mult
1×flip3-+ frac-add cos-mult flip-+
Counts
4 → 12
Calls
4 calls:
5.0ms
(* (sin y) (sin (/ (* z t) 3.0)))
15.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
4.0ms
(sin (/ (* z t) 3.0))
6.0ms
(cos (/ (* z t) 3.0))

series288.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (sin y) (sin (/ (* z t) 3.0)))
210.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
17.0ms
(sin (/ (* z t) 3.0))
11.0ms
(cos (/ (* z t) 3.0))

simplify77.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 3 (73.0ms)

IterNodesCost
0220256
1678249
22536242
35001238

prune164.0ms

Filtered
24 candidates to 18 candidates (75.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New15924
Fresh8412
Picked101
Done000
Total241337

Merged error: 17.9b

Counts
37 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.3333333333333333 (* t z))
0.3b
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))
26.3b
(sin (/ (* z t) 3.0))
26.5b
(cos (* 0.3333333333333333 (* t z)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
4×*-commutative
3×associate-*r/
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
1×flip3-+ frac-add cos-mult flip-+ sin-mult
Counts
4 → 13
Calls
4 calls:
3.0ms
(* 0.3333333333333333 (* t z))
14.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))
4.0ms
(sin (/ (* z t) 3.0))
4.0ms
(cos (* 0.3333333333333333 (* t z)))

series262.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* 0.3333333333333333 (* t z))
212.0ms
(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (* 0.3333333333333333 (* t z)))) (* (sin y) (sin (/ (* z t) 3.0)))))
17.0ms
(sin (/ (* z t) 3.0))
11.0ms
(cos (* 0.3333333333333333 (* t z)))

simplify80.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 3 (76.0ms)

IterNodesCost
0227245
1698238
22605231
35001227

prune96.0ms

Filtered
25 candidates to 15 candidates (60.0%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New18725
Fresh4812
Picked101
Done000
Total231538

Merged error: 17.9b

Counts
38 → 15

regimes1.4s

Accuracy

30.8% (2.6b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04926
15126
25126

end0.0ms

sample2.9s

Algorithm
intervals
Results
683.0ms1642×body1280valid
577.0ms9321×body80nan
347.0ms5624×body80valid
278.0ms962×body640valid
235.0ms350×body2560valid
87.0ms421×body320valid
29.0ms202×body160valid