Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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

sample10.4m (83.3%)

Algorithm
78×intervals
Results
9.0m57345×body10240exit
34.0s43816×body1280valid
11.4s30693×body640valid
7.2s204982×body80valid
4.9s152731×body80nan
4.4s27138×body320valid
3.5s197664×pre80true
3.1s36217×body160valid
874.0ms3140×body2560valid
391.0ms4078×pre10240exit
366.0ms7982×body160nan
152.0ms251×body5120valid
95.0ms8126×pre80false

prune49.2s (6.6%)

series45.1s (6.0%)

Calls

496 calls:

943.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 (- (+ (* 0.020833333333333336 (pow t 3)) 0.5) (* 0.25 t)) c_n)))
801.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))))))))
719.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)))
597.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)))
514.0ms
(pow E (log (sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))

simplify13.8s (1.8%)

Algorithm
222×egg-herbie

regimes8.7s (1.2%)

Accuracy

Total 30.6b remaining (24.1%)

Threshold costs 8.1b (6.4%)

13.5b26.7%Equirectangular approximation to distance on a great circle
5.2b54.4%Quotient of products
1.6b93.1%Cubic critical
1.2b94.9%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

rewrite5.6s (0.7%)

Algorithm
144×rewrite-expression-head
Calls

496 calls:

89.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
69.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
57.0ms
(- (/ (- 1.0) (pow x 2)) (/ 3.0 x))
54.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
9807×times-frac
8146×*-un-lft-identity
7611×add-sqr-sqrt
4933×add-cube-cbrt
3212×add-exp-log
1950×add-cbrt-cube
1315×pow1
1136×difference-of-squares
1111×prod-exp
1035×distribute-lft-out--
997×div-exp
978×sqrt-prod associate-*r*
919×associate-/l*
906×associate-*l/
872×flip--
871×flip3--
809×associate-/r*
780×add-log-exp
572×distribute-lft-out
540×unpow-prod-down
533×frac-times
532×div-inv
496×sqrt-div
493×distribute-rgt-neg-in
483×cbrt-unprod
479×cbrt-undiv
446×pow-exp
438×associate-*l*
408×frac-add
376×associate-/r/
356×pow-prod-down
350×associate-*r/
323×pow-to-exp
298×cbrt-prod
291×cube-prod
211×log-prod
209×flip-+
208×flip3-+
199×unswap-sqr
187×log-div
181×log-pow
177×associate-/l/
166×sqr-pow
162×exp-prod
147×distribute-lft-neg-in
139×clear-num frac-2neg
112×cbrt-div
105×*-commutative
100×sub-neg
95×diff-log
85×cos-mult
77×sin-mult
74×frac-sub
73×exp-diff
66×pow-sub
63×div-sub
58×sum-log
55×unpow3 cube-mult
51×pow-unpow
50×pow1/3
49×neg-mul-1
47×1-exp
46×pow-sqr pow-prod-up
43×unpow2 sqrt-pow1
39×pow-pow
37×pow1/2
36×+-commutative swap-sqr
34×associate-+r+
33×neg-sub0
30×rem-sqrt-square
29×distribute-rgt-in distribute-lft-in rem-log-exp
27×rec-exp associate-+l-
23×pow-plus
22×cube-div rem-cube-cbrt
21×exp-sum
19×neg-log sub-div
18×associate--l- associate--l+ sin-diff
16×tan-quot
15×pow-flip pow2
14×cos-diff
13×distribute-rgt-out
11×sin-cos-mult distribute-rgt-neg-out
10×cos-sum
9×rem-exp-log inv-pow acos-asin associate--r+
8×associate-+l+ distribute-frac-neg
7×sum-cubes sin-sum
6×sin-neg associate-+r- unpow-prod-up associate--r-
4×log-rec
3×acos-neg un-div-inv rem-cbrt-cube
2×difference-cubes distribute-lft1-in unsub-neg asin-acos sqr-cos
1×e-exp-1 sqrt-unprod distribute-lft-neg-out exp-neg sqr-neg tanh-undef tanh-def mul-1-neg

localize2.4s (0.3%)

bsearch826.0ms (0.1%)

end4.0ms (0.0%)