Date:Saturday, July 18th, 2020
Commit:61547132 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020200
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

sample29.6s (41.6%)

Algorithm
26×intervals
Results
8.7s6245×body5120exit
6.8s14180×body1280valid
3.2s78070×body80valid
2.8s9254×body640valid
1.6s3648×body1280nan
907.0ms3128×body640nan
889.0ms3983×body320valid
837.0ms24768×pre80true
289.0ms1841×body160valid
286.0ms1501×body320nan
189.0ms2041×body80invalid
89.0ms265×body640invalid
74.0ms587×body160nan
72.0ms142×body1280invalid
44.0ms178×body320invalid
31.0ms488×body80nan
20.0ms118×body160invalid
10.0ms137×body80overflowed
5.0ms2×body5120nan

analyze22.2s (31.1%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14

simplify5.3s (7.5%)

Algorithm
72×egg-herbie

prune5.3s (7.5%)

Filtered
3641 candidates to 2347 candidates (35.5%)

series4.3s (6.0%)

Calls

124 calls:

162.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
142.0ms
(* (exp x) (/ (exp (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (exp (tan a))))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
118.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.9s (4.1%)

Accuracy

Total 3.1b remaining (3.2%)

Threshold costs 3.1b (3.2%)

0.5b0%mixedcos
0.4b0%sqrt C
0.4b98.9%sqrt A
0.4b0%rsin B
0.3b0%rsin A

rewrite1.0s (1.4%)

Algorithm
46×rewrite-expression-head
Calls

124 calls:

32.0ms
(* (/ (pow (sqrt l) (exp w)) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))
20.0ms
(* (* x (* (neg (pow (cbrt (sqrt 2)) 2)) (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2)))))) (cbrt (cbrt (sqrt 2))))
17.0ms
(* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (* (fabs x) (sqrt (sqrt (sqrt 2.0))))))
16.0ms
(* x (* (neg (pow (cbrt (sqrt 2)) 2)) (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2))))))
16.0ms
(* (exp x) (/ (exp (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (exp (tan a))))
Rules
1227×add-exp-log
984×add-sqr-sqrt
669×*-un-lft-identity
665×prod-exp
601×add-cube-cbrt
479×add-cbrt-cube
477×times-frac
474×associate-*r*
442×sqrt-prod
342×pow1
277×associate-*l*
241×unpow-prod-down
191×div-exp
188×pow-exp
187×cbrt-unprod
172×unswap-sqr
168×add-log-exp
123×pow-to-exp
113×pow-prod-down
100×sqr-pow
97×cbrt-prod
78×associate-/l*
60×*-commutative
55×cbrt-undiv
52×associate-/r/
48×associate-/r*
42×pow-unpow
40×sin-mult
38×exp-prod
34×cos-mult
33×div-inv
29×sqrt-pow1
25×pow-pow
24×flip-- flip3--
23×distribute-lft-out--
21×distribute-lft-neg-in frac-sub distribute-rgt-neg-in pow1/2
20×tan-quot
19×associate-*r/ difference-of-squares
18×clear-num frac-2neg
17×sub-div
14×diff-log distribute-rgt-neg-out
13×sub-neg
12×swap-sqr distribute-lft-out
9×log-prod sum-log 1-exp rec-exp
7×pow-prod-up rem-exp-log
6×distribute-lft-neg-out associate--l+ pow-sqr
5×exp-sum flip-+ flip3-+
4×+-commutative associate-+r- associate-*l/ frac-times un-div-inv
3×associate-+r+ neg-mul-1 sqrt-pow2 inv-pow pow1/3 associate-/l/ log-pow pow-flip
2×pow2 rem-sqrt-square tan-sum cos-sum pow-plus sqrt-unprod sqrt-div exp-diff
1×rem-log-exp frac-add rem-square-sqrt div-sub pow-div

localize489.0ms (0.7%)

bsearch64.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...