Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

Time bar (total: 5.0min)

sample2.0min (39.3%)

Algorithm
78×intervals
Results
45.0s43731×body1280valid
17.0s2416×body5120exit
14.7s29893×body640valid
8.2s174465×body80valid
6.2s27675×body320valid
4.2s35809×body160valid
3.3s1270×body1280overflowed
2.9s114201×pre80true
2.2s11377×body80overflowed
1.6s1174×body640overflowed
1.0s3137×body2560valid
655.0ms3153×body2560nan
509.0ms9579×body80nan
458.0ms575×body320overflowed
453.0ms2640×body1280nan
364.0ms5329×body80invalid
231.0ms462×body640invalid
224.0ms311×body1280invalid
171.0ms1266×body640nan
147.0ms324×body160overflowed
83.0ms220×body5120valid
75.0ms221×body320invalid
74.0ms689×body320nan
28.0ms120×body160invalid
22.0ms314×body160nan
2.0ms130×pre80false

prune1.8min (35.7%)

analyze31.2s (10.4%)

Algorithm
39×search
Search
TrueOtherFalseIter
0%71.2%28.8%0
2.6%68.7%28.8%1
6.7%64.5%28.8%2
15.3%53.4%31.4%3
21.5%44.1%34.4%4
26.5%37.3%36.2%5
28.4%33.3%38.3%6
30.1%30.3%39.5%7
31%28.8%40.3%8
33%25.9%41.1%9
33.4%24.9%41.6%10
34.2%23.8%42%11
35%22.5%42.5%12
36%21.3%42.7%13
36.3%20.8%43%14

simplify15.0s (5%)

Algorithm
224×egg-herbie

regimes13.9s (4.6%)

Accuracy

Total 33.4b remaining (22.4%)

Threshold costs 6.1b (4.1%)

7.5b4630.1%Cubic critical, narrow range
6.0b1413.8%Cubic critical, medium range
4.1b7059.9%Equirectangular approximation to distance on a great circle
3.3b7018.4%Quotient of products
3.2b0%Cubic critical, wide range

series7.6s (2.5%)

Calls

486 calls:

255.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
199.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
195.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
187.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
149.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.3s (1.7%)

Algorithm
146×rewrite-expression-head
Rules
23205×times-frac
12971×*-un-lft-identity
10990×add-sqr-sqrt
9759×add-cube-cbrt
2449×add-exp-log
1676×add-cbrt-cube
1217×distribute-lft-out
957×pow1
929×associate-/r*
782×div-inv
758×div-exp
740×add-log-exp
734×associate-*l/
722×flip--
721×flip3--
717×associate-/r/
714×prod-exp
684×sqrt-prod
638×distribute-rgt-neg-in
636×distribute-lft-neg-in
615×associate-*r*
614×neg-mul-1
579×associate-/l*
472×cbrt-prod
462×frac-times
433×flip-+
432×flip3-+
426×difference-of-squares
416×associate-*l*
399×cbrt-undiv
373×distribute-lft-out--
371×cbrt-unprod
329×frac-add
312×sqrt-div
311×associate-*r/
305×unpow-prod-down
293×pow-exp
281×log-prod
228×cube-prod
210×pow-to-exp
189×cbrt-div
166×pow-prod-down
144×unswap-sqr
131×swap-sqr
122×sub-neg
121×clear-num frac-2neg
94×*-commutative
86×sqr-pow
82×diff-log
71×log-div
69×log-pow
66×associate-/l/
57×cosh-undef
56×sqrt-pow1 pow1/2 div-sub
55×sum-log
54×associate--l+
52×cube-mult unpow3
43×rem-sqrt-square
42×distribute-rgt-in pow-unpow distribute-lft-in
41×pow1/3
40×+-commutative
39×associate--r+
36×rem-log-exp 1-exp
34×associate-+r+
32×rec-exp
27×frac-sub
23×distribute-frac-neg
21×pow-prod-up exp-prod
17×distribute-rgt-out pow-sqr pow-pow
16×sin-mult
15×cos-diff pow-plus sin-diff
14×neg-sub0
13×pow2
12×tan-quot
11×cube-div exp-sum inv-pow pow-flip
10×associate--l- associate--r-
9×acos-asin sin-cos-mult
8×associate-+r- sinh-undef rem-cube-cbrt
7×sinh-def rem-cbrt-cube
6×cos-sum cos-mult
5×unpow2
4×acos-neg associate-+l+ cosh-def exp-diff
3×distribute-lft1-in exp-to-pow sin-sum rem-exp-log
2×sqrt-unprod log-rec sqr-cos-a un-div-inv associate-+l- distribute-neg-frac
1×difference-cubes tanh-undef rem-square-sqrt sqrt-pow2 tanh-def-b tanh-def-a unsub-neg asin-acos tanh-def-c
Calls

486 calls:

112.0ms
(/ (/ (neg (* 4.0 a)) 1) (/ a (/ (/ c (+ b (sqrt (- (* b b) (* (* 4.0 a) c))))) 2.0)))
67.0ms
(- (/ (neg (+ (/ 1.0 x) 3.0)) x) (/ 3.0 (pow x 3)))
47.0ms
(- (* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* 1.0 1.0) (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))) (+ (* 1.0 1.0) (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))))) (* 1.0 1.0))
41.0ms
(* (* (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3))) (/ 2.0 (+ (pow 1.0 3) (pow (exp (* -2.0 x)) 3)))) (* (+ (* 1.0 1.0) (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0))) (+ (* 1.0 1.0) (* (exp (* -2.0 x)) (- (exp (* -2.0 x)) 1.0)))))
40.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

localize2.0s (0.7%)

bsearch337.0ms (0.1%)

end1.0ms (0%)

Profiling

Loading profile data...