Date:Friday, July 10th, 2020
Commit:a8193a33 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020192
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.5s (32.9%)

Algorithm
18×intervals
Results
3.2s70130×body80valid
754.0ms4162×body1280valid
116.0ms1401×body80nan
113.0ms2030×body80invalid
1.0ms12×body160valid

simplify4.0s (23.8%)

Algorithm
41×egg-herbie

prune2.7s (16.5%)

Filtered
1771 candidates to 1135 candidates (35.9%)

analyze1.6s (9.7%)

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.1s (6.7%)

Accuracy

Total 3.7b remaining (24.4%)

Threshold costs 1.5b (10.3%)

2.1b84.8%jeff quadratic root 1
0.9b93.8%jeff quadratic root 2
0.5b0%sqrt times
0.2b91.3%fabs fraction 1
0.0b0%neg log

series824.0ms (5.0%)

Calls

56 calls:

32.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
31.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c)))))))
29.0ms
(* (/ x y) (* (cbrt z) (cbrt z)))
26.0ms
(* (cbrt y) (cbrt y))
26.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))

rewrite415.0ms (2.5%)

Algorithm
23×rewrite-expression-head
Calls

56 calls:

20.0ms
(/ (/ 1 (- n f)) (/ 1 (+ f n)))
15.0ms
(log (- (/ 1.0 x) 1.0))
11.0ms
(/ 1 (/ (- n f) (+ f n)))
11.0ms
(* (sqrt (- x 1.0)) (sqrt x))
9.0ms
(/ (+ f n) (- n f))
Rules
1202×times-frac
1001×*-un-lft-identity
840×add-sqr-sqrt
593×add-cube-cbrt
153×add-exp-log
112×distribute-lft-out
110×add-cbrt-cube
102×pow1 add-log-exp
98×associate-/r/
97×difference-of-squares
92×distribute-lft-out--
73×sqrt-prod
63×associate-/r*
59×associate-*l*
56×div-inv
54×flip-- flip3--
50×div-exp
44×associate-/l*
40×sqrt-div
37×cbrt-prod
36×flip-+ flip3-+
35×associate-*r*
21×cbrt-undiv sqrt-pow1 pow1/2
19×rem-sqrt-square
17×unswap-sqr
16×diff-log
15×prod-exp cbrt-unprod
13×pow1/3
12×pow-prod-down
11×sub-neg 1-exp rec-exp
9×log-prod associate-/l/
8×neg-sub0 neg-log
7×clear-num sum-log associate-*l/ *-commutative frac-2neg
6×swap-sqr
5×associate--l- associate-*r/
4×+-commutative cbrt-div distribute-rgt-neg-in exp-prod
3×associate-+l+ associate-+l-
2×distribute-rgt-in log-div associate-+r+ frac-sub distribute-lft-in inv-pow sub-div pow-sqr pow-prod-up pow-flip rem-exp-log
1×rem-log-exp pow2 exp-sum pow-plus sqrt-unprod div-sub log-pow exp-diff

localize339.0ms (2.0%)

bsearch161.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...