Details

Time bar (total: 11.3s)

sample283.0ms

Algorithm
intervals
Results
160.0ms95×body1280valid
65.0ms59×body640valid
17.0ms26×body320valid
12.0ms64×body80valid
5.0ms12×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03522
15622
25922
35922

prune7.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin phi1) (cos delta))
0.3b
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.6b
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×associate-*r* associate-*l* add-log-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×sub-neg asin-acos flip3-- diff-log sin-cos-mult flip-- sin-mult
Counts
4 → 58
Calls
4 calls:
5.0ms
(* (sin phi1) (cos delta))
5.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
4.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series98.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(* (sin phi1) (cos delta))
34.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
49.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify96.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0290931
1891843
23724841
35002841

prune149.0ms

Filtered
70 candidates to 51 candidates (27.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New65570
Fresh000
Picked101
Done000
Total66571

Merged error: 0.1b

Counts
71 → 5

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.3b
(asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))
0.6b
(- (cos delta) (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))))
3.2b
(log (exp (* (sin phi1) (cos delta))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×pow1 add-cube-cbrt *-un-lft-identity add-log-exp
6×add-exp-log add-cbrt-cube
3×log-prod associate-*r* associate-*l* log-pow
1×sub-neg asin-acos exp-prod flip3-- exp-to-pow diff-log rem-log-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod sin-mult unswap-sqr
Counts
4 → 53
Calls
4 calls:
6.0ms
(* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))))
2.0ms
(asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))
3.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))))
2.0ms
(log (exp (* (sin phi1) (cos delta))))

series95.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))))
6.0ms
(asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))
44.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))))
9.0ms
(log (exp (* (sin phi1) (cos delta))))

simplify90.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
02621041
1772930
23209928
35002928

prune128.0ms

Filtered
65 candidates to 49 candidates (24.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New62365
Fresh224
Picked101
Done000
Total65570

Merged error: 0.1b

Counts
70 → 5

localize51.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
3.2b
(log (exp (* (sin phi1) (cos delta))))
3.2b
(log (exp (* (sin phi1) (cos delta))))
3.2b
(log (exp (* (sin phi1) (cos delta))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1
9×log-prod log-pow
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×add-exp-log add-cbrt-cube add-log-exp
3×pow-unpow exp-prod exp-to-pow rem-log-exp
2×pow-pow pow-exp rem-cube-cbrt
1×cube-div cube-mult pow-to-exp unpow-prod-down unpow3 cube-prod pow-prod-down prod-exp cbrt-unprod sin-mult sqr-pow
Counts
4 → 65
Calls
4 calls:
7.0ms
(pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
2.0ms
(log (exp (* (sin phi1) (cos delta))))
2.0ms
(log (exp (* (sin phi1) (cos delta))))
3.0ms
(log (exp (* (sin phi1) (cos delta))))

series93.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
9.0ms
(log (exp (* (sin phi1) (cos delta))))
9.0ms
(log (exp (* (sin phi1) (cos delta))))
9.0ms
(log (exp (* (sin phi1) (cos delta))))

simplify167.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0210765
1809650
24585649
35001649

prune193.0ms

Filtered
77 candidates to 56 candidates (27.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New74377
Fresh134
Picked101
Done000
Total76682

Merged error: 0.1b

Counts
82 → 6

localize54.0ms

Local error

Found 4 expressions with local error:

3.2b
(log (exp (* (sin phi1) (cos delta))))
3.2b
(log (exp (* (sin phi1) (cos delta))))
3.2b
(log (exp (* (sin phi1) (cos delta))))
5.2b
(cbrt (pow (pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt unpow-prod-down *-un-lft-identity cube-prod
9×log-prod log-pow
7×pow1 add-log-exp
4×add-exp-log add-cbrt-cube
3×cube-mult exp-prod exp-to-pow unpow3 rem-log-exp sqr-pow
2×cube-div
1×cbrt-div pow1/3 rem-cbrt-cube sin-mult
Counts
4 → 74
Calls
4 calls:
2.0ms
(log (exp (* (sin phi1) (cos delta))))
2.0ms
(log (exp (* (sin phi1) (cos delta))))
2.0ms
(log (exp (* (sin phi1) (cos delta))))
5.0ms
(cbrt (pow (pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3))

series96.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(log (exp (* (sin phi1) (cos delta))))
9.0ms
(log (exp (* (sin phi1) (cos delta))))
9.0ms
(log (exp (* (sin phi1) (cos delta))))
70.0ms
(cbrt (pow (pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3))

simplify44.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
02721257
110441200
250011199

prune162.0ms

Filtered
86 candidates to 56 candidates (34.9%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New86086
Fresh055
Picked011
Done000
Total86692

Merged error: 0.1b

Counts
92 → 6

regimes482.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04566
14566

end0.0ms

sample8.9s

Algorithm
intervals
Results
5.5s3179×body1280valid
1.9s1821×body640valid
472.0ms715×body320valid
381.0ms1969×body80valid
140.0ms316×body160valid

Profiling

Loading profile data...