Date:Saturday, May 2nd, 2020
Commit:95cc637d on master
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.3m (67.1%)

Filtered
52005 candidates to 45797 candidates (88.1%)

sample1.9m (13.9%)

Algorithm
78×intervals
Results
36.6s43971×body1280valid
16.2s2460×body5120exit
12.1s30412×body640valid
8.6s204310×body80valid
6.5s152118×body80nan
5.5s45735×body80overflowed
5.3s27685×body320valid
4.7s191407×pre80true
3.8s36084×body160valid
1.0s3171×body2560valid
622.0ms3165×body2560nan
399.0ms2486×body1280nan
378.0ms16597×pre80false
176.0ms208×body5120valid
167.0ms1331×body640nan
65.0ms676×body320nan
21.0ms318×body160nan
5.0ms7×body320overflowed
2.0ms2×body640overflowed
2.0ms4×body160overflowed

series50.9s (6.1%)

Calls

518 calls:

802.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))))))))
794.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)))
717.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))))))))
707.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)))
625.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)))

simplify45.5s (5.5%)

Algorithm
226×egg-herbie

end26.9s (3.2%)

rewrite23.1s (2.8%)

Algorithm
148×rewrite-expression-head
Calls

518 calls:

445.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))))
439.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))))
435.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))))
411.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
179639×associate-*l/
122687×frac-times
122591×cbrt-div
96607×flip--
96606×flip3--
36080×associate-*r/
35038×frac-add
6276×*-un-lft-identity
6152×add-sqr-sqrt
6016×sqrt-div
5995×times-frac
3668×add-cube-cbrt
3346×add-exp-log
1890×add-cbrt-cube
1559×sqrt-prod
1365×pow1
1276×prod-exp
1140×associate-*r*
1032×div-exp
1022×difference-of-squares
837×unpow-prod-down
825×add-log-exp
793×associate-/l*
748×distribute-lft-out--
618×pow-exp
575×associate-/r*
545×distribute-lft-out
535×cube-prod
483×cbrt-unprod
472×associate-*l*
445×pow-to-exp
413×cbrt-prod
397×cbrt-undiv
392×pow-prod-down
386×log-prod
318×sqr-pow
312×div-inv
300×associate-/r/
291×distribute-rgt-neg-in
219×flip-+
218×flip3-+
214×unswap-sqr
183×exp-prod
176×log-pow
140×associate-/l/
128×clear-num frac-2neg
123×sub-neg
116×*-commutative
114×associate-+l+
102×distribute-lft-neg-in
98×diff-log
96×swap-sqr
94×sqrt-pow1
87×unpow2
70×pow1/3
69×div-sub
65×sum-log
58×unpow3 cube-mult
54×pow-prod-up
49×log-div
47×pow-sqr
46×pow1/2
45×distribute-rgt-in distribute-lft-in
41×+-commutative
40×frac-sub
37×associate-+l-
35×neg-sub0
34×neg-mul-1
32×rem-sqrt-square
30×pow-unpow
29×sin-mult
26×tan-quot
25×distribute-rgt-out exp-sum
24×rem-log-exp
23×associate--l+
21×pow-plus neg-log cos-mult 1-exp
20×cos-diff
17×cos-sum sin-diff
16×pow2
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 rem-exp-log sum-cubes
7×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 rem-square-sqrt log-rec tanh-undef sqr-cos tanh-def

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

bsearch566.0ms (0.1%)

Profiling

Loading profile data...