Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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.7m (64.9%)

Algorithm
78×intervals
Results
3.3m29477×body10240exit
34.1s43977×body1280valid
11.1s30189×body640valid
7.3s203180×body80valid
4.8s153728×body80nan
4.6s27547×body320valid
3.0s35761×body160valid
2.9s167869×pre80true
845.0ms3201×body2560valid
373.0ms4089×pre10240exit
364.0ms7853×body160nan
96.0ms8253×pre80false
84.0ms262×body5120valid

prune55.9s (13.0%)

Filtered
22278 candidates to 12819 candidates (57.5%)

series55.7s (12.9%)

Calls

507 calls:

9.0s
(* (/ m (/ v (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))) (/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m))))))
812.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))))))))
648.0ms
(/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
585.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)))
499.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))))))))

simplify14.1s (3.3%)

Algorithm
226×egg-herbie

rewrite14.1s (3.3%)

Algorithm
148×rewrite-expression-head
Calls

507 calls:

1.0s
(* (/ (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v))) (sqrt (sqrt v))) (/ m (/ (sqrt v) (- (sqrt 1.0) (sqrt m)))))
429.0ms
(* (/ m (/ v (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))) (/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m))))))
275.0ms
(* (- (/ (* m (+ (sqrt 1.0) (sqrt m))) (/ v (- (sqrt 1.0) (sqrt m)))) 1.0) (- 1.0 m))
261.0ms
(log (exp (- (* (* (/ (sqrt x0) (sqrt (- 1.0 x1))) (/ (sqrt x0) (sqrt (- 1.0 x1)))) (/ x0 (- 1.0 x1))) (* x0 x0))))
211.0ms
(* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m))
Rules
17225×times-frac
13281×*-un-lft-identity
12478×add-sqr-sqrt
9045×sqrt-prod
8158×add-cube-cbrt
3141×add-exp-log
2108×add-cbrt-cube
1902×difference-of-squares
1600×associate-*r*
1428×associate-*l*
1383×pow1
1377×distribute-lft-out
1192×distribute-lft-out--
1130×associate-/l*
1042×prod-exp
1010×cbrt-prod
1003×div-exp
908×associate-/r*
842×flip--
841×flip3--
801×add-log-exp
738×associate-*l/
669×unpow-prod-down
607×distribute-rgt-neg-in
566×cbrt-unprod
561×div-inv
544×cbrt-undiv
516×associate-/r/
484×cube-prod
450×frac-times
401×pow-prod-down
362×distribute-lft-neg-in
346×associate-*r/
336×frac-add
333×sqrt-div
303×pow-exp
292×cbrt-div
270×log-prod
255×unswap-sqr
237×sqr-pow
234×flip-+
233×flip3-+
219×pow-to-exp
159×associate-/l/
142×clear-num frac-2neg
126×sub-neg
114×*-commutative
96×diff-log
84×neg-mul-1
83×1-exp
74×log-pow
73×swap-sqr
70×sum-log
66×frac-sub
65×div-sub
64×pow1/3
62×distribute-rgt-in distribute-lft-in
55×pow-prod-up
53×pow-sqr
52×rec-exp
50×associate--l+
49×pow1/2 sqrt-pow1
47×unpow3 cube-mult
41×log-div
40×associate-+r+ +-commutative
39×exp-prod
34×sin-mult
33×neg-sub0
30×associate-+l-
29×unpow2
28×rem-sqrt-square
27×pow-unpow
25×pow-plus
24×tan-quot
23×rem-log-exp
22×distribute-rgt-out
19×associate--l- associate-+l+ neg-log cos-mult
18×cos-diff sin-diff
17×pow2
15×cos-sum
13×distribute-frac-neg pow-pow
12×tanh-def
11×pow-flip exp-sum
10×sin-cos-mult acos-asin distribute-rgt-neg-out
9×difference-cubes
8×un-div-inv sub-div
7×sin-neg associate-+r-
6×pow-div associate--r+
5×exp-diff rem-cube-cbrt rem-exp-log inv-pow sin-sum distribute-neg-frac
4×asin-acos
3×acos-neg distribute-lft1-in associate--r- sqrt-undiv
2×unpow1/3 sqrt-unprod rem-cbrt-cube
1×sqrt-pow2 rem-square-sqrt tanh-undef sqr-cos

regimes8.4s (1.9%)

Accuracy

Total 26.3b remaining (22.4%)

Threshold costs 8.3b (7%)

5.0b54.5%Quotient of products
4.5b81.5%Quadratic roots, full range
3.6b74.3%Equirectangular approximation to distance on a great circle
2.5b90.4%Cubic critical
1.4b0%Hyperbolic tangent

localize2.4s (0.6%)

bsearch561.0ms (0.1%)

end1.0ms (0.0%)