Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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

sample4.8m (57.4%)

Algorithm
78×intervals
Results
3.5m30879×body10240exit
33.4s44431×body1280valid
10.7s29982×body640valid
7.0s203682×body80valid
4.7s152974×body80nan
4.4s27316×body320valid
3.0s35961×body160valid
3.0s172733×pre80true
791.0ms3154×body2560valid
353.0ms7735×body160nan
224.0ms16647×pre80false
153.0ms218×body5120valid

prune2.0m (24.3%)

Filtered
23787 candidates to 16994 candidates (71.4%)

series51.6s (10.3%)

Calls

517 calls:

1.4s
(- (log 2) (- 0 (- (log x) (/ (* (* 1.0 1.0) 3/32) (pow x 4)))))
1.1s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3))
876.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)))
770.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 (- (+ (* 0.25 t) 0.5) (* 0.020833333333333336 (pow t 3)))) c_n)))
765.0ms
(cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))

simplify18.9s (3.8%)

Algorithm
226×egg-herbie

rewrite9.1s (1.8%)

Algorithm
148×rewrite-expression-head
Calls

517 calls:

643.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))))
140.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
135.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
114.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
81.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
Rules
30845×associate-*l/
20952×frac-times
16933×flip--
16932×flip3--
15610×cbrt-div
7098×add-sqr-sqrt
7008×times-frac
6960×*-un-lft-identity
6391×associate-*r/
6305×sqrt-div
6228×frac-add
3923×add-cube-cbrt
3061×add-exp-log
1929×add-cbrt-cube
1624×sqrt-prod
1618×associate-*r*
1242×difference-of-squares
1179×pow1
1093×unpow-prod-down
1034×prod-exp
922×distribute-lft-out--
907×div-exp
824×cube-prod
821×add-log-exp
755×associate-/l*
661×associate-*l*
565×distribute-lft-out
548×associate-/r*
481×cbrt-unprod
447×pow-exp
440×cbrt-undiv
434×cbrt-prod
430×div-inv
365×associate-/r/
338×distribute-rgt-neg-in
332×sqr-pow
330×pow-to-exp
297×unswap-sqr
254×flip-+
253×flip3-+
249×pow-prod-down
224×swap-sqr
171×log-prod
132×sub-neg
129×associate-/l/ *-commutative
127×clear-num frac-2neg
101×diff-log
90×log-pow
87×pow-unpow
75×frac-sub
73×unpow3 cube-mult
65×distribute-rgt-in distribute-lft-in
63×pow-pow
60×sum-log
55×div-sub
54×unpow2
51×exp-prod
47×pow1/3
42×pow1/2 sqrt-pow1
41×rem-sqrt-square
36×+-commutative
34×neg-sub0
31×associate-+l-
30×distribute-lft-neg-in tan-quot
29×rem-cube-cbrt log-div
26×cube-div
23×pow-prod-up
22×neg-log pow-sqr
21×sin-mult cos-mult
19×rec-exp associate--l+ 1-exp
18×pow-plus
17×pow2 cos-diff rem-log-exp
16×difference-cubes
15×sin-diff
14×distribute-rgt-out
12×associate--l- associate--r+
11×cos-sum sin-cos-mult associate-+r+
10×neg-mul-1
9×distribute-frac-neg exp-sum
8×acos-asin sum-cubes
7×sqrt-undiv
6×pow-flip associate-+r-
5×sin-sum associate--r- rem-cbrt-cube distribute-rgt-neg-out exp-to-pow
4×exp-diff acos-neg inv-pow distribute-rgt-out-- sub-div
3×associate-+l+ rem-exp-log sqrt-unprod
2×sin-neg distribute-lft1-in exp-neg asin-acos exp-lft-cube
1×sub0-neg pow3 rem-square-sqrt tanh-undef cube-neg tanh-def

regimes8.9s (1.8%)

Accuracy

Total 22.6b remaining (18.2%)

Threshold costs 6.7b (5.4%)

5.6b38.5%Quotient of products
3.7b73%Equirectangular approximation to distance on a great circle
3.3b88.5%Cubic critical
3.2b89%Quadratic roots, full range
0.8b0%2-ancestry mixing, zero discriminant

localize2.4s (0.5%)

bsearch794.0ms (0.2%)

end1.0ms (0.0%)