Date:Tuesday, February 25th, 2020
Commit:61e80a61 on faster-rr
Hostname:warfa with Racket 7.5
Seed:2020056
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

sample8.2m (79.1%)

Algorithm
78×intervals
Results
6.8m46489×body10240exit
34.3s43913×body1280valid
11.4s30433×body640valid
7.1s204435×body80valid
4.7s151898×body80nan
4.7s27580×body320valid
3.2s185520×pre80true
3.1s36091×body160valid
758.0ms3058×body2560valid
402.0ms4128×pre10240exit
356.0ms7989×body160nan
147.0ms219×body5120valid
96.0ms8222×pre80false
0.0ms1×body320nan

prune51.9s (8.4%)

series46.5s (7.5%)

Calls

516 calls:

758.0ms
(/ (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3))) (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
703.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)))
576.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)))
543.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (+ 1 (* (log 0.5) (+ c_p c_n))))
501.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))

simplify13.3s (2.2%)

Algorithm
225×egg-herbie

regimes8.8s (1.4%)

Accuracy

Total 26.2b remaining (22.7%)

Threshold costs 6.6b (5.7%)

5.0b30.5%Quotient of products
4.3b85%Quadratic roots, full range
4.2b85.3%Cubic critical
3.9b71.8%Equirectangular approximation to distance on a great circle
1.2b0%2-ancestry mixing, positive discriminant

rewrite6.6s (1.1%)

Algorithm
147×rewrite-expression-head
Calls

516 calls:

343.0ms
(- (/ x (+ x 1.0)) (/ (/ (+ x 1.0) (/ (* (cbrt (- x 1.0)) (cbrt (- (* x x) (* 1.0 1.0)))) (cbrt (+ x 1.0)))) (cbrt (- x 1.0))))
217.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
185.0ms
(* (/ (* (/ (/ a1 (* (cbrt b1) (cbrt b1))) (* (cbrt b2) (cbrt b2))) (* (cbrt a2) (cbrt a2))) (cbrt (* (cbrt b2) (cbrt b2)))) (/ (/ (cbrt a2) (cbrt b1)) (cbrt (cbrt b2))))
111.0ms
(- (/ x (+ x 1.0)) (/ (/ (+ x 1.0) (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (- x 1.0))))
90.0ms
(- (- (/ (- 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
Rules
7030×times-frac
6650×*-un-lft-identity
6224×add-sqr-sqrt
4022×add-cube-cbrt
3254×add-exp-log
1959×add-cbrt-cube
1368×associate-*r*
1182×pow1
1177×cbrt-prod
1107×prod-exp
1012×div-exp
954×associate-*l/
885×flip--
884×flip3--
883×add-log-exp
882×difference-of-squares
858×sqrt-prod
852×associate-/l*
732×distribute-lft-out--
640×unpow-prod-down
619×cbrt-unprod
599×cbrt-undiv
596×frac-times
584×associate-*l*
565×distribute-lft-out
503×associate-/r*
484×sqrt-div
454×frac-add
440×log-prod
406×cube-prod
400×distribute-rgt-neg-in
384×pow-exp
382×associate-*r/
358×associate-/r/
357×div-inv
272×pow-to-exp
260×pow-prod-down
251×flip-+
250×flip3-+
217×unswap-sqr
209×sqr-pow
179×cbrt-div
144×distribute-lft-neg-in
135×swap-sqr
131×associate-/l/
122×sub-neg
119×cos-mult
118×clear-num frac-2neg
112×*-commutative diff-log
106×sin-mult
96×log-pow
90×sum-log
80×div-sub
75×exp-prod
65×sqrt-pow1
61×frac-sub
56×unpow3 cube-mult
54×pow-unpow
52×+-commutative
49×pow1/2 distribute-rgt-in distribute-lft-in
48×neg-mul-1
45×log-div
41×unpow2
37×pow1/3
36×rem-sqrt-square rem-log-exp
35×neg-sub0 associate-+l-
31×pow-pow
30×pow-prod-up distribute-rgt-out pow-sqr
29×sin-sum
26×exp-sum
24×tan-quot associate--r+
23×rec-exp 1-exp
21×pow-plus neg-log
20×rem-cube-cbrt sub-div
19×sum-cubes sin-diff
18×cos-diff
17×pow2
16×associate--l+
15×associate--l-
14×associate--r-
13×associate-+r-
12×cube-div associate-+l+ distribute-lft-neg-out
11×cos-sum rem-exp-log distribute-frac-neg acos-asin
10×sin-cos-mult associate-+r+ sqrt-unprod
9×difference-cubes asin-acos
7×unsub-neg
6×exp-diff acos-neg pow-flip distribute-rgt-neg-out
5×sqrt-undiv
4×inv-pow
3×distribute-rgt-out--
2×sin-neg un-div-inv distribute-lft1-in rem-cbrt-cube exp-to-pow
1×rem-square-sqrt tanh-undef tanh-def

localize2.4s (0.4%)

bsearch354.0ms (0.1%)

end1.0ms (0.0%)