Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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

sample8.6m (66.7%)

Algorithm
78×intervals
Results
7.2m49374×body10240exit
34.0s44209×body1280valid
11.1s30423×body640valid
7.0s204856×body80valid
4.8s152740×body80nan
4.5s27337×body320valid
3.2s188619×pre80true
3.1s36238×body160valid
769.0ms3014×body2560valid
408.0ms4203×pre10240exit
356.0ms7851×body160nan
100.0ms8396×pre80false
95.0ms218×body5120valid

prune2.4m (18.5%)

series57.0s (7.4%)

Calls

510 calls:

5.6s
(cbrt (/ (/ (pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (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))))))) 3)) 3) (pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
3.8s
(pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (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))))))) 3)) 3)
2.5s
(pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)
1.1s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))) 3))
817.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)))

simplify30.5s (3.9%)

Algorithm
223×egg-herbie

rewrite9.9s (1.3%)

Algorithm
145×rewrite-expression-head
Calls

510 calls:

477.0ms
(cbrt (/ (/ (pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (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))))))) 3)) 3) (pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
439.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))))
83.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
76.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
70.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
Rules
30298×associate-*l/
20740×frac-times
19774×times-frac
16604×flip--
16603×flip3--
15674×cbrt-div
11970×add-sqr-sqrt
10394×*-un-lft-identity
9527×unpow-prod-down
9216×cube-prod
7668×cbrt-prod
7469×add-cube-cbrt
6312×associate-*r/
6178×sqrt-div
5997×frac-add
5545×difference-of-squares
3851×sqr-pow
2785×add-exp-log
1809×add-cbrt-cube
1387×unpow3 cube-mult
1331×pow1
1232×associate-*r*
1060×distribute-lft-out--
940×prod-exp
821×add-log-exp
797×div-exp
793×associate-/l*
614×distribute-rgt-neg-in
570×sqrt-prod
511×associate-*l*
500×associate-/r*
450×cbrt-unprod
389×distribute-lft-out
380×cbrt-undiv
379×pow-exp
365×distribute-lft-neg-in
357×pow-prod-down
326×associate-/r/
316×div-inv
291×difference-cubes
278×pow-to-exp
249×flip-+
248×flip3-+
242×log-prod
220×unswap-sqr
135×swap-sqr
133×associate-/l/ neg-mul-1
120×*-commutative
117×sub-neg
113×clear-num frac-2neg
94×frac-sub
93×diff-log
78×cube-div pow-unpow unpow2
76×div-sub
70×log-pow sum-log
62×exp-prod
57×sqrt-pow1
53×pow1/2
47×pow1/3 +-commutative
45×distribute-rgt-in distribute-lft-in pow-prod-up
43×pow-sqr
41×log-div
40×sin-mult
38×rem-sqrt-square
37×pow-pow
36×neg-sub0 tan-quot
30×associate-+l-
26×associate--l+
25×pow-plus
24×1-exp rec-exp
22×rem-log-exp
20×rem-cube-cbrt distribute-frac-neg neg-log pow2
19×associate-+r+ cos-diff cos-mult
17×sin-diff
14×associate--l-
13×cos-sum distribute-rgt-out--
12×sin-cos-mult associate-+r- distribute-rgt-out acos-asin
11×exp-diff
8×acos-neg sub-div exp-sum distribute-neg-frac
7×associate--r+
5×rem-exp-log sqrt-unprod sin-sum associate-+l+ pow-flip rem-cbrt-cube
4×inv-pow distribute-rgt-neg-out
2×un-div-inv distribute-lft1-in asin-acos associate--r- exp-to-pow
1×sin-neg sum-cubes rem-square-sqrt tanh-undef sqr-cos +-inverses tanh-def

regimes9.0s (1.2%)

Accuracy

Total 28.6b remaining (21%)

Threshold costs 8.6b (6.3%)

14.4b-2.3%Equirectangular approximation to distance on a great circle
3.4b69.1%Quotient of products
1.2b0%2-ancestry mixing, zero discriminant
1.0b96.4%Quadratic roots, full range
1.0b95.5%Cubic critical

bsearch5.4s (0.7%)

localize2.3s (0.3%)

end1.0ms (0.0%)