Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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

sample7.1m (79.0%)

Algorithm
78×intervals
Results
5.7m41111×body10240exit
33.5s43455×body1280valid
11.0s30984×body640valid
6.9s203747×body80valid
4.7s151838×body80nan
4.6s27734×body320valid
3.1s183485×pre80true
3.0s36036×body160valid
782.0ms3044×body2560valid
371.0ms7930×body160nan
208.0ms16342×pre80false
73.0ms230×body5120valid

series43.1s (8.0%)

Calls

515 calls:

580.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)))
414.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
410.0ms
(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
408.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
397.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

prune39.2s (7.3%)

Filtered
16266 candidates to 10528 candidates (64.7%)

simplify13.4s (2.5%)

Algorithm
224×egg-herbie

regimes9.5s (1.8%)

Accuracy

Total 24.5b remaining (19.5%)

Threshold costs 6.4b (5.1%)

5.1b82.1%Quadratic roots, full range
5.1b82.2%Cubic critical
4.0b71.6%Equirectangular approximation to distance on a great circle
2.8b73.5%Quotient of products
1.1b0%2-ancestry mixing, zero discriminant

rewrite5.2s (1.0%)

Algorithm
146×rewrite-expression-head
Calls

515 calls:

125.0ms
(- (/ (/ x (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))
73.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)))))
62.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
56.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
Rules
5899×times-frac
5816×*-un-lft-identity
5681×add-sqr-sqrt
3497×add-cube-cbrt
2706×add-exp-log
1750×add-cbrt-cube
1310×associate-*r*
988×pow1
877×flip--
876×flip3--
872×sqrt-prod
846×prod-exp
841×add-log-exp
828×div-exp
821×difference-of-squares
742×associate-*l/
737×associate-/l*
711×unpow-prod-down distribute-lft-out--
582×cbrt-prod
555×frac-times
511×associate-*l*
488×sqrt-div
478×associate-/r*
463×cube-prod
433×distribute-lft-out
418×frac-add
416×cbrt-undiv
393×cbrt-unprod
361×div-inv
334×associate-*r/
320×pow-exp
287×distribute-rgt-neg-in
281×associate-/r/
235×pow-to-exp
229×unswap-sqr
223×sqr-pow
212×flip-+
211×flip3-+
192×pow-prod-down
145×log-prod
117×sub-neg
116×associate-/l/
111×clear-num frac-2neg
110×log-div
109×*-commutative
99×diff-log
93×cbrt-div
89×pow1/3
86×unpow3 cube-mult
85×cos-mult
81×exp-prod
74×sum-log
72×log-pow
69×exp-diff
49×div-sub swap-sqr
47×1-exp
46×+-commutative
45×distribute-rgt-in distribute-lft-in
41×rec-exp
39×pow-unpow
34×neg-sub0
33×pow1/2 associate-+l- sqrt-pow1
31×frac-sub
30×rem-sqrt-square
28×unpow2
27×distribute-lft-neg-in
23×neg-log
21×associate--l+ rem-log-exp
20×tan-quot
19×associate--r+ pow-pow
18×pow-prod-up pow-sqr
17×associate--l- cos-diff associate-+r+
15×sin-diff
14×sin-mult
12×pow-plus distribute-rgt-out rem-cbrt-cube
11×cos-sum pow2
10×sin-cos-mult acos-asin exp-sum
9×neg-mul-1
8×cube-div distribute-frac-neg
7×rem-cube-cbrt rem-exp-log distribute-rgt-neg-out
6×un-div-inv pow-flip associate--r-
5×inv-pow associate-+r- sin-sum
4×acos-neg
3×difference-cubes associate-+l+ distribute-rgt-out-- distribute-neg-frac
2×sin-neg distribute-lft1-in unpow1/3 unsub-neg sub-div asin-acos
1×sqrt-unprod tanh-undef sqr-cos sum-cubes exp-to-pow tanh-def

localize2.2s (0.4%)

bsearch586.0ms (0.1%)

end1.0ms (0.0%)