Date:Thursday, April 30th, 2020
Commit:d2f20e12 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020121
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

sample1.8m (57.5%)

Algorithm
56×intervals
16×halfpoints
Results
23.0s67280×body1280valid
17.9s17556×body2560valid
7.8s42939×body640valid
3.9s12991×body10240exit
2.8s92337×body80valid
2.4s20368×body320valid
1.8s65217×body80nan
1.3s2242×body1280nan
798.0ms10560×body160valid
743.0ms1885×body640nan
547.0ms47382×pre80true
255.0ms995×body320nan
143.0ms494×body5120valid
65.0ms457×body160nan

series32.8s (17.2%)

Calls

399 calls:

1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
498.0ms
(exp (- (log 1.0) (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))))
493.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
491.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
483.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))

prune28.2s (14.8%)

Filtered
13275 candidates to 8364 candidates (63.0%)

simplify10.1s (5.3%)

Algorithm
194×egg-herbie

rewrite4.0s (2.1%)

Algorithm
122×rewrite-expression-head
Calls

399 calls:

155.0ms
(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
135.0ms
(+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b))
44.0ms
(* (/ 1.0 x) (- (/ 1 n) (/ (log (/ 1 x)) (pow n 2))))
42.0ms
(* (cbrt (- (pow (exp (* a x)) 3) (pow 1.0 3))) (cbrt (- (pow (exp (* a x)) 3) (pow 1.0 3))))
41.0ms
(/ (* 1.0 (- (/ 1 n) (/ (log (/ 1 x)) (pow n 2)))) x)
Rules
6058×*-un-lft-identity
6052×times-frac
6018×add-sqr-sqrt
3205×add-cube-cbrt
1450×add-exp-log
1074×difference-of-squares
1010×add-cbrt-cube
937×associate-*r*
888×unpow-prod-down
796×distribute-lft-out--
788×pow1
713×add-log-exp
698×sqrt-prod
594×cbrt-prod
587×associate-*l*
528×associate-/l*
521×distribute-lft-out
459×associate-/r*
392×sqr-pow
368×div-inv
363×prod-exp
344×distribute-rgt-neg-in
337×div-exp
336×unswap-sqr
328×cube-prod
312×log-prod
239×flip-+ flip3-+
237×flip-- flip3--
215×unpow2
194×cbrt-div
192×cbrt-undiv
188×log-pow
187×cbrt-unprod
185×associate-/r/
148×associate-*l/
127×sub-neg
123×diff-log
107×swap-sqr
104×associate-*r/
103×log-div
99×frac-times
97×sqrt-pow1
94×pow-prod-down
91×pow-to-exp pow-exp
86×*-commutative
84×frac-add
79×associate-/l/
76×frac-2neg sqrt-div clear-num
73×pow1/2
66×distribute-lft-neg-in
59×pow1/3
53×sum-log
48×rec-exp 1-exp
45×pow-prod-up
44×associate-+r+
43×tan-quot
42×exp-prod
39×distribute-rgt-in pow-flip distribute-lft-in
35×rem-sqrt-square inv-pow rem-log-exp
30×+-commutative
29×exp-sum
28×div-sub
27×frac-sub associate--l+
26×associate-+l+
24×complex-mul-def
23×neg-sub0
20×associate--r-
19×pow-sqr unpow3
15×difference-cubes distribute-rgt-out--
14×associate--l- cube-mult
12×neg-log pow-unpow associate-+l- associate--r+
10×neg-mul-1
9×log-rec
8×cos-mult
7×pow-pow sin-mult
6×sqrt-unprod pow2 pow-plus distribute-frac-neg *.c-commutative
5×exp-diff associate-+r-
4×cube-div rem-cube-cbrt +.c-commutative complex-add-def exp-to-pow
3×un-div-inv rem-exp-log difference-of-sqr-1 distribute-neg-frac
2×pow-div pow-neg associate-+l+.c exp-neg sub-div pow-sub unsub-neg associate-*l*.c tan-sum exp-lft-cube cos-sum sin-sum
1×sub0-neg sin-cos-mult rem-cbrt-cube +-inverses sum-cubes diff-atan diff-cos rem-square-sqrt distribute-rgt-neg-out frac-2neg.c diff-sin

regimes2.8s (1.5%)

Accuracy

Total 26.8b remaining (13.3%)

Threshold costs 5.4b (2.7%)

5.3b79.8%quad2m (problem 3.2.1, negative)
3.9b85.7%quadp (p42, positive)
2.9b0%expq3 (problem 3.4.2)
2.3b90.7%quad2p (problem 3.2.1, positive)
2.1b79.3%2cos (problem 3.3.5)

localize1.9s (1.0%)

bsearch1.1s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...