Details

Time bar (total: 12.3s)

analyze6.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
99.7%0%0.3%1

sample271.0ms

Algorithm
intervals
Results
60.0ms50×body2560valid
51.0ms74×body1280valid
15.0ms36×body640valid
7.0ms22×body320valid
6.0ms64×body80valid
6.0ms2×body5120valid
2.0ms8×body160valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
077127
177127

prune17.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: 45.4b

Counts
2 → 2

localize44.0ms

Local error

Found 4 expressions with local error:

2.0b
(* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
2.0b
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
32.5b
(cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
34.1b
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log add-cbrt-cube
14×pow1
10×associate-*r/ prod-exp cbrt-unprod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down
4×frac-times flip3-+ associate-*l/ flip-+ add-log-exp
2×cbrt-undiv div-exp associate-*r* *-commutative
Counts
4 → 64
Calls
4 calls:
8.0ms
(* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
10.0ms
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
3.0ms
(cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
4.0ms
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

series47.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0)))
10.0ms
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
10.0ms
(cos (* t (* (+ 1.0 (* 2.0 a)) (/ b 16.0))))
12.0ms
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

simplify22.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
05569934

prune281.0ms

Filtered
54 candidates to 76 candidates (-40.7%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New571976
Fresh011
Picked101
Done000
Total582078

Merged error: 41.2b

Counts
78 → 20

localize38.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
2.9b
(* (* t b) (+ 0.0625 (* a 0.125)))
32.5b
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
34.1b
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log add-cbrt-cube
14×pow1
8×prod-exp cbrt-unprod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r/ pow-prod-down
4×associate-*r* associate-*l* add-log-exp
3×flip3-+ flip-+
2×distribute-rgt-in frac-times cos-sum distribute-lft-in associate-*l/ *-commutative
1×cbrt-undiv div-exp
Counts
4 → 63
Calls
4 calls:
10.0ms
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
6.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
3.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
3.0ms
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

series42.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* (+ (* y 2.0) 1.0) (* z (/ t 16.0)))
10.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
8.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
12.0ms
(cos (* (+ (* y 2.0) 1.0) (* z (/ t 16.0))))

simplify45.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05039903

prune259.0ms

Filtered
51 candidates to 75 candidates (-47.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New571875
Fresh15419
Picked101
Done000
Total732295

Merged error: 40.8b

Counts
95 → 22

localize46.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0)))))
2.9b
(* (* t b) (+ 0.0625 (* a 0.125)))
32.5b
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
34.1b
(cos (* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0))))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
108×cbrt-div
82×frac-times associate-*r/
55×flip3-+ flip-+
41×add-exp-log
30×pow1
29×associate-*l/ add-cbrt-cube
25×prod-exp cbrt-unprod
18×pow-prod-down
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* add-log-exp
2×cbrt-undiv distribute-rgt-in cos-sum distribute-lft-in div-exp associate-*l* *-commutative
Counts
4 → 123
Calls
4 calls:
25.0ms
(* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0)))))
6.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
3.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
10.0ms
(cos (* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0))))))

series46.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0)))))
10.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
13.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
12.0ms
(cos (* (* (cbrt (+ (* y 2.0) 1.0)) (cbrt (+ (* y 2.0) 1.0))) (* z (* (/ t 16.0) (cbrt (+ (* y 2.0) 1.0))))))

simplify68.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049783754
149783754

prune403.0ms

Filtered
69 candidates to 135 candidates (-95.7%)
Pruning

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New1287135
Fresh31821
Picked101
Done000
Total13225157

Merged error: 40.6b

Counts
157 → 25

localize44.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))
2.9b
(* (* t b) (+ 0.0625 (* a 0.125)))
32.5b
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
34.1b
(cos (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div
23×add-exp-log
19×associate-*r/
18×pow1
16×frac-times add-cbrt-cube
13×flip3-+ flip-+
12×prod-exp cbrt-unprod
9×pow-prod-down
8×associate-*l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l*
4×associate-*r* add-log-exp
3×cbrt-prod
2×distribute-rgt-in cos-sum distribute-lft-in *-commutative
1×cbrt-undiv div-exp
Counts
4 → 81
Calls
4 calls:
17.0ms
(* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))
6.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
3.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
13.0ms
(cos (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))))

series65.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))
10.0ms
(* (* t b) (+ 0.0625 (* a 0.125)))
8.0ms
(cos (* (* t b) (+ 0.0625 (* a 0.125))))
12.0ms
(cos (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* (cbrt (+ (* y 2.0) 1.0)) (* z (/ t 16.0))))))

simplify32.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
054621771

prune239.0ms

Filtered
65 candidates to 93 candidates (-43.1%)
Pruning

30 alts after pruning (30 fresh and 0 done)

PrunedKeptTotal
New84993
Fresh32124
Picked101
Done000
Total8830118

Merged error: 40.5b

Counts
118 → 30

regimes2.5s

Accuracy

0% (4.8b remaining)

Error of 45.6b against oracle of 40.8b and baseline of 45.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03336
13336

end0.0ms

sample7.7s

Algorithm
intervals
Results
2.2s1799×body2560valid
1.5s2172×body1280valid
542.0ms1236×body640valid
195.0ms602×body320valid
192.0ms1908×body80valid
100.0ms38×body5120valid
57.0ms245×body160valid

Profiling

Loading profile data...