Date:Thursday, March 5th, 2020
Commit:7606e899 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020065
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

sample11.3m (83.8%)

Algorithm
78×intervals
Results
9.9m62518×body10240exit
33.5s43616×body1280valid
11.3s30597×body640valid
7.1s205328×body80valid
4.8s153329×body80nan
4.5s27865×body320valid
3.6s202672×pre80true
3.0s36253×body160valid
824.0ms3005×body2560valid
381.0ms8083×body160nan
372.0ms4144×pre10240exit
115.0ms227×body5120valid
93.0ms8197×pre80false

prune50.9s (6.3%)

Filtered
18217 candidates to 11808 candidates (64.8%)

series49.9s (6.2%)

Calls

517 calls:

3.7s
(/ (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) (+ (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (- (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))) (* (cos phi1) (cos phi1))))
1.5s
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (+ (* 2 (log (cbrt (exp (pow (cos (/ (+ phi1 phi2) 2.0)) 3))))) (log (cbrt (exp (pow (cos (/ (+ phi1 phi2) 2.0)) 3))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
798.0ms
(log (exp (/ (- (* (cos delta) (cos delta)) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 6))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
790.0ms
(log (exp (/ (- (* (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))))))))))
698.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)))

simplify13.0s (1.6%)

Algorithm
223×egg-herbie

regimes8.7s (1.1%)

Accuracy

Total 25.7b remaining (22.1%)

Threshold costs 7.2b (6.2%)

8.7b40.1%Equirectangular approximation to distance on a great circle
3.3b88.1%Cubic critical
2.3b76.2%Quotient of products
2.0b36.3%2-ancestry mixing, positive discriminant
1.1b0%2-ancestry mixing, zero discriminant

rewrite6.1s (0.7%)

Algorithm
145×rewrite-expression-head
Calls

517 calls:

159.0ms
(* (/ (cbrt (/ a1 (cbrt b2))) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
140.0ms
(* (/ (/ a1 (cbrt b2)) (cbrt b2)) (/ (/ a2 b1) (cbrt b2)))
95.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))))
86.0ms
(* (/ (sqrt (+ 0 (* 4.0 (* a c)))) 2.0) (/ (/ (sqrt (+ 0 (* 4.0 (* a c)))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
78.0ms
(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
Rules
8587×times-frac
7998×*-un-lft-identity
7265×add-sqr-sqrt
4821×add-cube-cbrt
3093×add-exp-log
1885×add-cbrt-cube
1495×sqrt-prod
1490×associate-*r*
1092×pow1
1035×prod-exp
1023×cbrt-prod
949×div-exp
886×flip--
885×flip3--
860×difference-of-squares
856×associate-*l*
815×associate-/l*
808×add-log-exp
799×distribute-lft-out--
798×associate-*l/
750×distribute-lft-out
679×associate-/r*
627×frac-times
587×unpow-prod-down
531×sqrt-div
474×cbrt-undiv
464×cbrt-unprod
443×associate-/r/
434×frac-add
377×pow-exp
374×div-inv
368×log-prod
351×associate-*r/
308×unswap-sqr
295×cube-prod
282×distribute-rgt-neg-in
279×pow-to-exp
277×flip-+
276×flip3-+
215×pow-prod-down
209×cbrt-div
178×swap-sqr
171×sqr-pow
158×log-pow
131×clear-num frac-2neg
126×exp-prod
120×associate-/l/
111×*-commutative
110×sub-neg
96×diff-log
72×exp-sum
66×div-sub
63×log-div
62×sum-log
57×frac-sub
56×unpow3 cube-mult
55×unpow2
52×1-exp
49×pow1/3
48×associate-+l+ sqrt-pow1
47×pow1/2
45×pow-unpow
40×distribute-rgt-in distribute-lft-in
39×rem-sqrt-square
38×+-commutative associate-+l-
37×rem-log-exp
36×rec-exp
32×neg-sub0
30×distribute-lft-neg-in
29×cos-mult
27×associate-+r+
26×pow-prod-up
24×pow-sqr
23×sin-mult
21×cos-diff neg-log
20×tan-quot
18×pow-pow sin-diff
17×associate--l+
16×pow-plus
14×associate--l- pow2 distribute-rgt-out associate--r+
13×associate-+r- cos-sum
12×pow-flip tanh-def
11×exp-diff rem-cube-cbrt acos-asin distribute-rgt-neg-out
10×distribute-rgt-out-- neg-mul-1
9×sin-sum
8×cube-div sin-cos-mult rem-exp-log inv-pow
7×associate--r-
6×distribute-frac-neg
5×acos-neg sin-neg asin-acos
4×sum-cubes sub-div
3×sqrt-undiv rem-cbrt-cube
2×sqrt-unprod distribute-lft1-in log-rec
1×+-inverses un-div-inv unsub-neg rem-square-sqrt tanh-undef

localize2.4s (0.3%)

bsearch785.0ms (0.1%)

end1.0ms (0.0%)