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: 1.3min)

sample29.4s (37.8%)

Algorithm
26×intervals
Results
9.0s6621×body5120exit
6.9s14095×body1280valid
3.0s78223×body80valid
2.8s9263×body640valid
1.6s3731×body1280nan
841.0ms3936×body320valid
839.0ms24768×pre80true
837.0ms3051×body640nan
281.0ms1546×body320nan
273.0ms1811×body160valid
178.0ms2007×body80invalid
89.0ms274×body640invalid
64.0ms560×body160nan
61.0ms130×body1280invalid
51.0ms214×body320invalid
30.0ms497×body80nan
22.0ms135×body160invalid
9.0ms149×body80overflowed
6.0ms3×body5120nan
2.0ms2×body2560nan

analyze21.8s (28%)

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

prune8.9s (11.4%)

series7.9s (10.2%)

Calls

145 calls:

1.3s
(/ (- (* x x) (/ (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (- 1 (* (tan y) (tan z))) (cos a)))) (- x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
1.0s
(- (* x x) (/ (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (- 1 (* (tan y) (tan z))) (cos a))))
618.0ms
(/ (- (* x x) (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))) (- x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
434.0ms
(- (* x x) (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
222.0ms
(* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))))

simplify5.6s (7.2%)

Algorithm
72×egg-herbie

regimes2.6s (3.4%)

Accuracy

Total 5.1b remaining (7.7%)

Threshold costs 2.8b (4.3%)

2.2b975.6%mixedcos
0.5b0%sqrt B
0.4b0%sqrt C
0.3b0%rsin B
0.3b0%sqrt D

rewrite1.1s (1.4%)

Algorithm
46×rewrite-expression-head
Rules
1068×add-exp-log
967×add-sqr-sqrt
719×*-un-lft-identity
653×prod-exp
596×pow1
584×add-cube-cbrt
457×add-cbrt-cube
361×associate-*r*
354×sqrt-prod
310×times-frac
280×sqrt-pow1
257×associate-*l*
222×pow-prod-down
175×add-log-exp
174×unpow-prod-down
173×pow-exp
171×cbrt-unprod
157×pow-to-exp
135×unswap-sqr
88×div-exp
87×pow1/2
69×distribute-lft-out--
66×associate-/r* *-commutative
65×associate-*l/
64×associate-/l* difference-of-squares
62×sqr-pow
59×pow-unpow
55×flip-- flip3--
52×tan-quot
50×frac-sub
49×associate-*r/
42×pow-prod-up
40×sqrt-div frac-times
38×cbrt-undiv
37×swap-sqr
34×associate-/r/ exp-prod
33×cbrt-prod
31×log-pow
29×log-prod div-inv
27×flip-+ flip3-+
26×pow-sqr
20×clear-num cos-mult frac-2neg
17×sub-neg
16×sin-mult
14×rem-sqrt-square
13×associate--l+
12×sqrt-unprod pow-pow
11×diff-log
9×frac-add associate-/l/
8×cbrt-div
7×distribute-lft-out
6×sum-log sub-div
5×pow2 pow-plus
4×rem-log-exp exp-sum +-commutative pow1/3 exp-diff
3×distribute-rgt-in neg-sub0 exp-neg rem-square-sqrt distribute-lft-in div-sub
2×tan-sum cos-sum associate-+r+ associate-+r- distribute-rgt-out count-2 associate--r+ rem-exp-log
Calls

145 calls:

29.0ms
(/ (- (* x x) (/ (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (- 1 (* (tan y) (tan z))) (cos a)))) (- x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
27.0ms
(* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
27.0ms
(* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))))
22.0ms
(/ (- (* x x) (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))) (- x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
20.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (fabs x) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0)))))

localize530.0ms (0.7%)

bsearch14.0ms (0%)

end0.0ms (0%)

Profiling

Loading profile data...