Details

Time bar (total: 3.1m)

sample101.0ms

Algorithm
intervals
Results
33.0ms282×body80valid
15.0ms39×body640valid
13.0ms25×body1280valid
7.0ms26×body320valid
2.0ms13×body160valid

simplify4.5s

Counts
1 → 1
Iterations
IterNodes
done5001
54415
4917
3240
269
132
017

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
2.8b
(cos (/ (+ phi1 phi2) 2.0))
2.8b
(cos (/ (+ phi1 phi2) 2.0))
33.3b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*l/
102×flip3-- flip--
68×frac-times
66×sqrt-div
64×frac-add
44×pow1
34×associate-*r/
17×pow-prod-down
16×add-cbrt-cube add-exp-log
8×prod-exp cbrt-unprod
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×pow-sqr pow-prod-up add-log-exp
3×sqrt-prod
2×pow-plus
1×pow2 rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 swap-sqr associate-*r* associate-*l* *-commutative flip-+
Counts
4 → 135
Calls
4 calls:
61.0ms
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
8.0ms
(cos (/ (+ phi1 phi2) 2.0))
10.0ms
(cos (/ (+ phi1 phi2) 2.0))
122.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series955.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
41.0ms
(cos (/ (+ phi1 phi2) 2.0))
39.0ms
(cos (/ (+ phi1 phi2) 2.0))
698.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify2.0s

Counts
147 → 147
Iterations
IterNodes
done5000
11387
0458

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 24.7b

localize73.0ms

Local error

Found 4 expressions with local error:

2.8b
(cos (/ (+ phi1 phi2) 2.0))
2.8b
(cos (/ (+ phi1 phi2) 2.0))
2.8b
(cos (/ (+ phi1 phi2) 2.0))
33.3b
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))) (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
290×associate-*l/
198×flip3-- flip--
196×frac-times
138×sqrt-div
136×frac-add
74×associate-*r/
72×cbrt-div cos-mult
6×add-sqr-sqrt
5×pow1 *-un-lft-identity add-cube-cbrt
4×add-cbrt-cube add-exp-log add-log-exp
3×sqrt-prod
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 172
Calls
4 calls:
17.0ms
(cos (/ (+ phi1 phi2) 2.0))
16.0ms
(cos (/ (+ phi1 phi2) 2.0))
16.0ms
(cos (/ (+ phi1 phi2) 2.0))
179.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))) (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series867.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(cos (/ (+ phi1 phi2) 2.0))
32.0ms
(cos (/ (+ phi1 phi2) 2.0))
44.0ms
(cos (/ (+ phi1 phi2) 2.0))
746.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))) (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify3.2s

Counts
184 → 184
Iterations
IterNodes
done5002
12561
0830

prune2.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 22.4b

localize109.0ms

Local error

Found 4 expressions with local error:

26.2b
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
26.2b
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
26.2b
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
33.3b
(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.4s

Algorithm
rewrite-expression-head
Rules
29930×associate-*l/
20428×frac-times
16050×flip3-- flip--
15576×cbrt-div
5990×associate-*r/
5826×sqrt-div
5824×frac-add
6×add-sqr-sqrt
5×pow1 *-un-lft-identity add-cube-cbrt
4×add-cbrt-cube add-exp-log add-log-exp
3×cbrt-prod pow1/3 sqrt-prod
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 5890
Calls
4 calls:
65.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
70.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
54.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
911.0ms
(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

series1.7s

Counts
4 → 12
Calls
4 calls:
392.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
316.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
343.0ms
(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
605.0ms
(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify42.2s

Counts
5902 → 5902
Iterations
IterNodes
done22400
022400

prune1.9m

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 22.4b

localize39.0ms

Local error

Found 4 expressions with local error:

2.8b
(cos (/ (+ phi1 phi2) 2.0))
2.8b
(cos (/ (+ phi1 phi2) 2.0))
6.0b
(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
33.3b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
256×associate-*l/
192×flip3-- flip--
132×sqrt-div
128×frac-times frac-add
66×log-div exp-diff
64×associate-*r/
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×pow1
6×log-prod exp-prod exp-sum sqrt-prod
4×add-cbrt-cube add-exp-log add-log-exp
3×log-pow
2×sqrt-pow1 flip3-+ pow1/2 flip-+
1×rem-sqrt-square rem-exp-log
Counts
4 → 179
Calls
4 calls:
8.0ms
(cos (/ (+ phi1 phi2) 2.0))
8.0ms
(cos (/ (+ phi1 phi2) 2.0))
74.0ms
(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
80.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series953.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(cos (/ (+ phi1 phi2) 2.0))
27.0ms
(cos (/ (+ phi1 phi2) 2.0))
450.0ms
(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
449.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify1.2s

Counts
191 → 191
Iterations
IterNodes
done5000
11521
0659

prune803.0ms

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 22.4b

regimes1.6s

Accuracy

62.1% (6.0b remaining)

Error of 29.5b against oracle of 23.5b and baseline of 39.3b

bsearch3.0ms

simplify4.0ms

Iterations
IterNodes
done27
127
022

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.3s8313×body80valid
820.0ms1290×body640valid
477.0ms791×body1280valid
245.0ms751×body320valid
86.0ms351×body160valid