Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020123
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune9.5m (68.0%)

Filtered
52050 candidates to 45795 candidates (88.0%)

sample1.9m (14.0%)

Algorithm
78×intervals
Results
37.0s43971×body1280valid
16.3s2460×body5120exit
12.9s30412×body640valid
8.8s204310×body80valid
6.7s152118×body80nan
5.5s45735×body80overflowed
5.5s27685×body320valid
4.7s191407×pre80true
3.8s36084×body160valid
1.0s3171×body2560valid
620.0ms3165×body2560nan
409.0ms2486×body1280nan
361.0ms16597×pre80false
183.0ms208×body5120valid
172.0ms1331×body640nan
69.0ms676×body320nan
23.0ms318×body160nan
5.0ms7×body320overflowed
3.0ms2×body640overflowed
2.0ms4×body160overflowed

series51.6s (6.2%)

Calls

518 calls:

800.0ms
(/ (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
767.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
701.0ms
(/ (- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
675.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (- (+ (* 0.25 t) 0.5) (* 0.020833333333333336 (pow t 3)))) c_n)))
664.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify46.2s (5.5%)

Algorithm
226×egg-herbie

rewrite22.9s (2.8%)

Algorithm
148×rewrite-expression-head
Calls

518 calls:

441.0ms
(cbrt (+ (* (* (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))))
441.0ms
(cbrt (+ (* (* (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))))
440.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))))
428.0ms
(cbrt (+ (* (* (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))))
413.0ms
(cbrt (+ (* (* (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))))
Rules
179666×associate-*l/
122768×frac-times
122744×cbrt-div
96604×flip--
96603×flip3--
36095×associate-*r/
35089×frac-add
6316×*-un-lft-identity
6109×add-sqr-sqrt
6016×sqrt-div
5982×times-frac
3643×add-cube-cbrt
3349×add-exp-log
1889×add-cbrt-cube
1559×sqrt-prod
1382×pow1
1279×prod-exp
1151×associate-*r*
1031×div-exp
1012×difference-of-squares
837×unpow-prod-down
823×add-log-exp
790×associate-/l*
746×distribute-lft-out--
618×pow-exp
571×distribute-lft-out
570×associate-/r*
535×cube-prod
486×cbrt-unprod
473×associate-*l*
446×cbrt-prod
445×pow-to-exp
397×pow-prod-down
396×cbrt-undiv
380×log-prod
318×sqr-pow
309×div-inv
294×associate-/r/
291×distribute-rgt-neg-in
269×flip-+
268×flip3-+
216×unswap-sqr
153×log-pow
141×exp-prod
140×associate-/l/
127×clear-num frac-2neg
123×sub-neg
117×*-commutative
111×associate-+l+
102×distribute-lft-neg-in
98×diff-log
96×swap-sqr
94×sqrt-pow1
87×unpow2
82×pow1/3
69×div-sub
64×sum-log
63×pow-prod-up
58×unpow3 cube-mult
50×pow-sqr
49×log-div
46×pow1/2
45×distribute-rgt-in distribute-lft-in
40×+-commutative frac-sub
37×associate-+l-
35×neg-sub0
34×neg-mul-1
32×rem-sqrt-square
30×pow-unpow
29×sin-mult
27×pow-plus
26×tan-quot
25×distribute-rgt-out exp-sum
23×associate--l+ rem-log-exp
21×neg-log cos-mult 1-exp
20×cos-diff
18×pow2
17×cos-sum sin-diff
15×difference-cubes associate--l-
14×pow-pow
13×associate-+r+ distribute-frac-neg rec-exp
11×sin-cos-mult sin-sum
10×acos-asin
9×rem-cube-cbrt associate--r+
8×exp-diff sum-cubes
7×rem-exp-log associate-+r-
6×cube-div associate--r-
5×asin-acos
4×acos-neg distribute-lft-neg-out sub-div
3×un-div-inv unsub-neg rem-cbrt-cube distribute-rgt-neg-out
2×distribute-lft1-in sqrt-unprod sqrt-undiv exp-neg distribute-rgt-out-- pow-flip exp-to-pow
1×inv-pow unpow1/3 pow3 rem-square-sqrt log-rec tanh-undef sqr-cos tanh-def

end17.7s (2.1%)

regimes8.6s (1.0%)

Accuracy

Total 25.1b remaining (24.2%)

Threshold costs 6.9b (6.7%)

5.8b49.8%Quotient of products
4.8b82.2%Quadratic roots, full range
3.5b73.5%Equirectangular approximation to distance on a great circle
1.7b92.2%Cubic critical
1.3b0%2-ancestry mixing, positive discriminant

localize2.5s (0.3%)

bsearch567.0ms (0.1%)

Profiling

Loading profile data...