Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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

sample2.0m (46.8%)

Algorithm
77×intervals
Results
40.6s16814×body10240exit
33.6s43997×body1280valid
10.9s30283×body640valid
7.1s202662×body80valid
4.7s151042×body80nan
4.5s27361×body320valid
3.0s35994×body160valid
2.6s157840×pre80true
759.0ms3015×body2560valid
367.0ms7635×body160nan
212.0ms16403×pre80false
63.0ms229×body5120valid

series48.7s (19.1%)

Calls

530 calls:

1.7s
(/ (+ (* (* 2.0 (+ (pow (pow x 2) 3) (pow x 3))) (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (* (+ (* (pow x 2) (pow x 2)) (- (* x x) (* (pow x 2) x))) (- (* (log 1.0) (log 1.0)) (* (* 2.0 (/ (pow x 2) (pow 1.0 2))) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (* (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (+ (pow x 4) (pow x 2)) (pow x 3))))
1.6s
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (+ 1/2 (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
1.6s
(/ (+ (* (* 2.0 (+ (pow (pow x 2) 3) (pow x 3))) (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (* (+ (* (pow x 2) (pow x 2)) (- (* x x) (* (pow x 2) x))) (- (* (log 1.0) (log 1.0)) (* (* 2.0 (/ (pow x 2) (pow 1.0 2))) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (* (* (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3))) (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3))))) (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3)))))
568.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)))
562.0ms
(+ (log (/ 1 (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))

prune45.1s (17.6%)

Filtered
17774 candidates to 11251 candidates (63.3%)

simplify14.1s (5.5%)

Algorithm
225×egg-herbie

bsearch10.2s (4.0%)

regimes9.4s (3.7%)

Accuracy

Total 27.5b remaining (21.5%)

Threshold costs 8.1b (6.3%)

5.1b82.2%Quadratic roots, full range
4.9b82.9%Cubic critical
4.0b71.7%Equirectangular approximation to distance on a great circle
3.2b71.4%Quotient of products
1.2b0%2-ancestry mixing, positive discriminant

rewrite6.1s (2.4%)

Algorithm
148×rewrite-expression-head
Calls

530 calls:

257.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
93.0ms
(/ (+ (* (* 2.0 (+ (pow (pow x 2) 3) (pow x 3))) (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (* (+ (* (pow x 2) (pow x 2)) (- (* x x) (* (pow x 2) x))) (- (* (log 1.0) (log 1.0)) (* (* 2.0 (/ (pow x 2) (pow 1.0 2))) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (* (* (+ (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3))) (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3))))) (cbrt (- (+ (pow x 4) (pow x 2)) (pow x 3)))))
71.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)))))
66.0ms
(- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))
Rules
5981×add-sqr-sqrt
5969×*-un-lft-identity
5549×times-frac
3434×add-exp-log
3409×add-cube-cbrt
1937×add-cbrt-cube
1370×flip--
1369×flip3--
1304×frac-times
1302×prod-exp
1209×sqrt-prod
1161×associate-*r*
1132×pow1
1024×div-exp
1016×difference-of-squares
994×associate-*l/
840×add-log-exp
772×associate-/l*
757×distribute-lft-out--
740×unpow-prod-down
698×frac-add
696×associate-*r/
664×sqrt-div
547×associate-/r*
544×cube-prod
526×distribute-lft-out
511×associate-*l*
503×flip-+
502×flip3-+
482×cbrt-unprod
457×pow-exp
424×cbrt-undiv
404×cbrt-div associate-/r/
372×distribute-rgt-neg-in
365×cbrt-prod pow-to-exp
292×div-inv
260×associate-/l/
243×unswap-sqr
239×pow-prod-down
235×sqr-pow
225×log-prod
130×distribute-lft-neg-in
129×clear-num frac-2neg
128×*-commutative
119×sub-neg
114×neg-mul-1
104×swap-sqr
99×log-div
92×diff-log
83×pow1/3
81×cos-mult
75×sum-log
70×log-pow
69×exp-diff
67×exp-prod
61×div-sub
58×unpow3 cube-mult rec-exp 1-exp
50×distribute-rgt-in distribute-lft-in
49×+-commutative
46×associate-+l+
45×pow-unpow
42×associate-+r+
40×pow1/2 sqrt-pow1
39×unpow2
36×rem-sqrt-square
33×associate-+l-
31×pow-sqr neg-sub0 pow-prod-up
30×frac-sub
26×tan-quot
24×cube-div pow-pow
22×distribute-rgt-out
21×sin-cos-mult rem-log-exp
20×sin-mult associate--l+
19×pow-plus neg-log
18×rem-cube-cbrt pow2 sin-diff
17×sin-sum
15×cos-diff pow-flip cos-sum
12×associate-+r- sum-cubes
11×un-div-inv distribute-frac-neg
10×inv-pow acos-asin
9×difference-cubes exp-sum
6×associate--l- associate--r+
5×rem-exp-log distribute-lft1-in rem-cbrt-cube
3×acos-neg distribute-rgt-neg-out
2×asin-acos associate--r-
1×sqrt-undiv unpow1/3 sqrt-unprod exp-to-pow unsub-neg tanh-undef sqr-cos cos-2 tanh-def log-rec

localize2.4s (0.9%)

end1.0ms (0.0%)