Details

Time bar (total: 11.1s)

sample272.0ms

Algorithm
intervals
Results
151.0ms95×body1280valid
60.0ms59×body640valid
16.0ms26×body320valid
11.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

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)))))))

rewrite20.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))
6.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))))
7.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series95.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* (sin phi1) (cos delta))
37.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
5.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
44.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

prune154.0ms

Filtered
51 candidates to 70 candidates (-37.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New65570
Fresh000
Picked101
Done000
Total66571

Merged error: 0.1b

Counts
71 → 5

localize34.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))))

series96.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))))
5.0ms
(asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta))))
46.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))))

simplify89.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
02621041
1772930
23209928
35002928

prune132.0ms

Filtered
49 candidates to 65 candidates (-32.7%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New62365
Fresh224
Picked101
Done000
Total65570

Merged error: 0.1b

Counts
70 → 5

localize52.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))))

rewrite16.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))))

series95.0ms

Counts
4 → 12
Calls
4 calls:
69.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))))

simplify166.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0210765
1809650
24585649
35001649

prune203.0ms

Filtered
56 candidates to 77 candidates (-37.5%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New74377
Fresh134
Picked101
Done000
Total76682

Merged error: 0.1b

Counts
82 → 6

localize51.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))

rewrite16.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))))
3.0ms
(log (exp (* (sin phi1) (cos delta))))
7.0ms
(cbrt (pow (pow (* (sin phi1) (sin (asin (+ (log (exp (* (sin phi1) (cos delta)))) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3))

series95.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
02721257
110441200
250011199

prune171.0ms

Filtered
56 candidates to 86 candidates (-53.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New86086
Fresh055
Picked011
Done000
Total86692

Merged error: 0.1b

Counts
92 → 6

regimes498.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.7s

Algorithm
intervals
Results
5.4s3179×body1280valid
1.7s1821×body640valid
461.0ms715×body320valid
364.0ms1969×body80valid
132.0ms316×body160valid

Profiling

Loading profile data...