Time: 13.0s
Passed: 2/2
Tests: 3
Bits: 68/68

Date:Wednesday, December 26th, 2018
Commit:a98a74144c4adddbce217fd7ce983c17096732e2 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018360
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
TestStartResult ?Target ?∞ ↔ ℝTime
Expanding a square39.30.08.4s»
Commute and associate0.003.5s»
Cancel like terms29.001.1s»

Details

simplify4.2s

Calls

151 calls. Slowest were:

241.0ms
(- (+ (* 1/6 (* x (exp (* 1/3 (+ (log 2) (log x)))))) (exp (* 1/3 (+ (log 2) (log x))))) (* 1/36 (* (pow x 2) (exp (* 1/3 (+ (log 2) (log x)))))))
238.0ms
(- (+ (* 1/6 (* x (exp (* 1/3 (+ (log 2) (log x)))))) (exp (* 1/3 (+ (log 2) (log x))))) (* 1/36 (* (pow x 2) (exp (* 1/3 (+ (log 2) (log x)))))))
235.0ms
(- (+ (* 1/6 (* x (exp (* 1/3 (+ (log 2) (log x)))))) (exp (* 1/3 (+ (log 2) (log x))))) (* 1/36 (* (pow x 2) (exp (* 1/3 (+ (log 2) (log x)))))))
173.0ms
(/ (* (* (- x 2) (- x 2)) (- x 2)) (* (* (+ (* x x) -4) (+ (* x x) -4)) (+ (* x x) -4)))
131.0ms
(- (* (pow x 3) (pow x 3)) (* (* -4 x) (* -4 x)))

prune1.4s

setup1.1s

start382.0ms

series330.0ms

Calls

9 calls. Slowest were:

48.0ms
(* (cbrt (* (+ x 2) x)) (cbrt (* (+ x 2) x)))
47.0ms
(/ (+ (pow x 3) (* -4 x)) (- x 2))
46.0ms
(cbrt (* (+ x 2) x))
41.0ms
(cbrt (* (+ x 2) x))
41.0ms
(cbrt (* (+ x 2) x))

localize43.0ms

rewrite39.0ms

Calls

9 calls. Slowest were:

10.0ms
(/ (+ (pow x 3) (* -4 x)) (- x 2))
8.0ms
(* (cbrt (* (+ x 2) x)) (cbrt (* (+ x 2) x)))
4.0ms
(/ (- x 2) (+ (* x x) -4))
4.0ms
(* (+ x 2) x)
3.0ms
(+ (pow x 3) (* -4 x))

regimes23.0ms

Accuracy

Median 0% (0.0b remaining)

0.0b0%Expanding a square

bsearch1.0ms