Details

Time bar (total: 19.0s)

analyze920.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%68.7%6.3%5
25%65.6%9.5%6
37.5%39%23.5%7
37.5%36.7%25.9%8
43.7%20.7%35.6%9
43.7%19.3%37%10
46.8%10.6%42.5%11
46.8%9.9%43.3%12
48.4%5.4%46.2%13
48.4%5%46.6%14

sample125.0ms

Algorithm
intervals
Results
92.0ms256×body80valid
2.0ms16×body80nan

simplify33.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
05726
15726

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.0b

Counts
2 → 1

localize116.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (acos (/ (neg g) h)) 3.0)
1.0b
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
1.0b
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
1.0b
(/ (* 2.0 PI) 3.0)

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
14×add-sqr-sqrt add-cube-cbrt
12×times-frac
11×add-exp-log add-cbrt-cube
6×div-sub associate-/r* add-log-exp
4×pow1 associate-+r- div-inv associate-/l*
3×cbrt-undiv acos-neg acos-asin distribute-frac-neg div-exp
2×cos-diff frac-2neg clear-num
1×+-commutative cos-sum distribute-rgt-out flip3-+ frac-add prod-exp sum-log cbrt-unprod flip-+ distribute-lft-out
Counts
4 → 76
Calls
4 calls:
14.0ms
(/ (acos (/ (neg g) h)) 3.0)
41.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
46.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
31.0ms
(/ (* 2.0 PI) 3.0)

series281.0ms

Counts
4 → 10
Calls
4 calls:
45.0ms
(/ (acos (/ (neg g) h)) 3.0)
70.0ms
(+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0))
162.0ms
(cos (+ (/ (* 2.0 PI) 3.0) (/ (acos (/ (neg g) h)) 3.0)))
0.0ms
(/ (* 2.0 PI) 3.0)

simplify494.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (343.0ms)

IterNodesCost
053271757

prune1.5s

Filtered
66 candidates to 86 candidates (-30.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New82486
Fresh000
Picked101
Done000
Total83487

Merged error: 0.0b

Counts
87 → 4

localize118.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ PI 3.0)
1.0b
(/ (* 2.0 PI) 3.0)
1.0b
(/ (* 2.0 PI) 3.0)
58.2b
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
15×times-frac
9×associate-/r*
5×cbrt-undiv div-exp associate-/l*
4×pow1 add-log-exp
3×frac-2neg clear-num div-inv
2×prod-exp cbrt-unprod
1×sin-sum
Counts
4 → 77
Calls
4 calls:
20.0ms
(/ PI 3.0)
23.0ms
(/ (* 2.0 PI) 3.0)
23.0ms
(/ (* 2.0 PI) 3.0)
51.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/ PI 3.0)
0.0ms
(/ (* 2.0 PI) 3.0)
0.0ms
(/ (* 2.0 PI) 3.0)
0.0ms
(sin (+ (/ (* 2.0 PI) 3.0) (/ PI 3.0)))

simplify417.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (349.0ms)

IterNodesCost
049581096
149581096

prune2.0s

Filtered
63 candidates to 81 candidates (-28.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New81081
Fresh033
Picked011
Done000
Total81485

Merged error: 0.0b

Counts
85 → 4

localize171.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0))
0.0b
(+ (* 2.0 PI) (acos (/ (neg g) h)))
1.0b
(* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h))))
1.0b
(cos (/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0)))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×pow1 add-cube-cbrt *-un-lft-identity add-log-exp
5×prod-exp cbrt-unprod
4×cbrt-undiv associate-*r/ div-exp
3×flip3-+ associate-*r* associate-*l* flip-+
2×associate-+r- associate-/l/
1×acos-neg +-commutative distribute-rgt-in acos-asin frac-2neg distribute-lft-in times-frac distribute-frac-neg pow-prod-down clear-num associate-/r* sum-log *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 65
Calls
4 calls:
50.0ms
(/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0))
30.0ms
(+ (* 2.0 PI) (acos (/ (neg g) h)))
84.0ms
(* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h))))
18.0ms
(cos (/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0)))

series292.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0))
19.0ms
(+ (* 2.0 PI) (acos (/ (neg g) h)))
37.0ms
(* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h))))
129.0ms
(cos (/ (* 3.0 (+ (* 2.0 PI) (acos (/ (neg g) h)))) (* 3.0 3.0)))

simplify748.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (620.0ms)

IterNodesCost
049471655
149471655

prune1.0s

Filtered
51 candidates to 77 candidates (-51.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New75277
Fresh202
Picked101
Done011
Total78381

Merged error: 0.0b

Counts
81 → 3

localize129.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (exp (cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))))
0.0b
(/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0)
0.0b
(+ (* 2.0 PI) (acos (/ (neg g) h)))
1.0b
(cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
8×associate-+r-
6×add-exp-log div-sub add-cbrt-cube add-log-exp
5×pow1 log-prod
4×acos-neg acos-asin cos-diff distribute-frac-neg log-pow
3×exp-prod associate-/r* associate-/l*
2×flip3-+ exp-sum flip-+ associate-/l/
1×cbrt-undiv +-commutative frac-2neg div-exp rem-log-exp clear-num sum-log div-inv
Counts
4 → 70
Calls
4 calls:
62.0ms
(log (exp (cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))))
51.0ms
(/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0)
37.0ms
(+ (* 2.0 PI) (acos (/ (neg g) h)))
38.0ms
(cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))

series355.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(log (exp (cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))))
61.0ms
(/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0)
33.0ms
(+ (* 2.0 PI) (acos (/ (neg g) h)))
130.0ms
(cos (/ (+ (* 2.0 PI) (acos (/ (neg g) h))) 3.0))

simplify781.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (541.0ms)

IterNodesCost
049522174
149522174

prune1.1s

Filtered
63 candidates to 82 candidates (-30.2%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New80282
Fresh011
Picked011
Done011
Total80585

Merged error: 0.0b

Counts
85 → 5

regimes2.4s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify8.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02765
12765

end0.0ms

sample5.3s

Algorithm
intervals
Results
4.0s8000×body80valid
272.0ms582×body80nan

Profiling

Loading profile data...