Details

Time bar (total: 10.8s)

sample169.0ms

Algorithm
intervals
Results
62.0ms55×body2560valid
48.0ms78×body1280valid
22.0ms42×body640valid
5.0ms58×body80valid
4.0ms15×body320valid
2.0ms8×body160valid

simplify105.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04414
110314
223414
345014
480014
5113614
6137614
7148214
8167614
9171214
10171214

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.5b

localize24.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* (+ (* y 2.0) 1.0) z) t)
3.2b
(* (* (+ (* a 2.0) 1.0) b) t)
34.2b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.1b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
8×associate-*l/
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 62
Calls
4 calls:
16.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
16.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
2.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
2.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series165.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
45.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
36.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
40.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify58.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0387460
11897378
25001372

prune446.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 41.5b

localize24.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* (+ (* y 2.0) 1.0) z) t)
2.5b
(* (+ (* a 2.0) 1.0) (* b t))
34.2b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.1b
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-prod-down associate-*l/ prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×flip3-+ *-commutative flip-+
Counts
4 → 62
Calls
4 calls:
16.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
16.0ms
(* (+ (* a 2.0) 1.0) (* b t))
2.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
2.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series181.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
45.0ms
(* (+ (* a 2.0) 1.0) (* b t))
46.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
42.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify56.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0382462
11806380
25001377

prune419.0ms

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 41.4b

localize28.0ms

Local error

Found 4 expressions with local error:

1.9b
(* (* t z) (fma 2.0 y 1.0))
2.5b
(* (+ (* a 2.0) 1.0) (* b t))
34.1b
(cos (/ (pow (* (* t z) (fma 2.0 y 1.0)) 1) 16.0))
35.1b
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×associate-*l/ *-commutative fma-udef
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
4 → 62
Calls
4 calls:
7.0ms
(* (* t z) (fma 2.0 y 1.0))
14.0ms
(* (+ (* a 2.0) 1.0) (* b t))
3.0ms
(cos (/ (pow (* (* t z) (fma 2.0 y 1.0)) 1) 16.0))
2.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series168.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (* t z) (fma 2.0 y 1.0))
46.0ms
(* (+ (* a 2.0) 1.0) (* b t))
26.0ms
(cos (/ (pow (* (* t z) (fma 2.0 y 1.0)) 1) 16.0))
38.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify52.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0341446
11542369
25001365

prune474.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 41.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x (cos (/ (pow (* (* t z) 1.0) 1) 16.0))) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
2.5b
(* (+ (* a 2.0) 1.0) (* b t))
27.9b
(cos (/ (pow (* (* t z) 1.0) 1) 16.0))
35.1b
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×associate-*l/ *-commutative
1×flip3-+ flip-+
Counts
4 → 60
Calls
4 calls:
7.0ms
(* (* x (cos (/ (pow (* (* t z) 1.0) 1) 16.0))) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
14.0ms
(* (+ (* a 2.0) 1.0) (* b t))
3.0ms
(cos (/ (pow (* (* t z) 1.0) 1) 16.0))
2.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series258.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(* (* x (cos (/ (pow (* (* t z) 1.0) 1) 16.0))) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
47.0ms
(* (+ (* a 2.0) 1.0) (* b t))
12.0ms
(cos (/ (pow (* (* t z) 1.0) 1) 16.0))
47.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify49.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0313690
11319559
25001555

prune316.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 40.1b

regimes2.6s

Accuracy

0% (5.8b remaining)

Error of 45.7b against oracle of 39.9b and baseline of 45.7b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03622
13622

end0.0ms

sample5.0s

Algorithm
intervals
Results
2.0s1739×body2560valid
1.5s2330×body1280valid
492.0ms1178×body640valid
182.0ms1883×body80valid
172.0ms576×body320valid
111.0ms41×body5120valid
50.0ms253×body160valid