Date:Thursday, July 16th, 2020
Commit:f7753480 on master
Hostname:warfa with Racket 7.5
Seed:2020198
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

sample5.4s (30.4%)

Algorithm
18×intervals
Results
3.1s70149×body80valid
732.0ms4151×body1280valid
116.0ms1347×body80nan
115.0ms1926×body80invalid
0.0ms4×body160valid

simplify4.0s (22.3%)

Algorithm
44×egg-herbie

prune3.3s (18.6%)

Filtered
2046 candidates to 1377 candidates (32.7%)

analyze1.9s (10.6%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

regimes1.2s (6.6%)

Accuracy

Total 2.7b remaining (19.6%)

Threshold costs 0.6b (4.5%)

1.1b92.2%jeff quadratic root 2
1.0b93.5%jeff quadratic root 1
0.5b0%sqrt times
0.1b95.2%fabs fraction 1
0.0b0%neg log

series928.0ms (5.2%)

Calls

68 calls:

51.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c)))))))
29.0ms
(+ (log (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt x)))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
28.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))
26.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))

rewrite543.0ms (3.0%)

Algorithm
26×rewrite-expression-head
Calls

68 calls:

42.0ms
(+ (log (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt x)))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
20.0ms
(/ (+ f n) (- n f))
16.0ms
(log (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt x))))
11.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
11.0ms
(cbrt (pow (/ (+ f n) (- n f)) 3))
Rules
808×*-un-lft-identity
693×add-sqr-sqrt
611×times-frac
469×add-cube-cbrt
169×sqrt-prod
167×cbrt-prod
148×unpow-prod-down
140×add-exp-log
133×add-cbrt-cube
116×add-log-exp
114×pow1
100×distribute-lft-out
94×cube-prod
83×difference-of-squares
75×associate-/r*
74×associate-/l*
71×distribute-lft-out--
62×exp-prod
53×associate-*l*
45×flip-- flip3--
44×associate-*r*
40×sqrt-div
33×log-pow
31×log-prod associate-/r/
29×div-exp
28×div-inv
26×sqr-pow
23×cbrt-undiv
22×sqrt-pow1
21×flip-+ flip3-+ pow1/2
18×rem-sqrt-square
16×associate-+r+
14×associate-/l/ unswap-sqr
13×prod-exp clear-num cbrt-unprod frac-2neg
12×pow-unpow sum-log sub-neg diff-log
11×associate-*l/
10×associate-*r/ pow-pow
9×neg-sub0 pow-exp distribute-rgt-neg-in pow-prod-down neg-log
8×log-div cbrt-div cube-mult unpow3
7×+-commutative pow1/3 associate-+l-
6×pow-to-exp *-commutative
5×frac-add
4×associate--l- associate-+l+ frac-times
3×rem-log-exp rem-cube-cbrt rem-exp-log
2×cube-div distribute-rgt-in sqrt-undiv frac-sub associate-+r- distribute-lft-in sub-div 1-exp rec-exp rem-cbrt-cube
1×exp-sum sqrt-unprod inv-pow div-sub pow-flip exp-diff

localize390.0ms (2.2%)

bsearch202.0ms (1.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...