Details

Time bar (total: 650.0ms)

sample297.0ms

Algorithm
intervals
Results
24.0ms49×body1280valid
12.0ms44×body640valid
8.0ms140×body80valid
3.0ms15×body320valid
1.0ms8×body160valid

simplify24.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0715
11315
22115
32615
43415
53715
done3715

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(- 1.0 (* (tan x) (tan x)))
0.1b
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
0.2b
(* (tan x) (tan x))
0.2b
(* (tan x) (tan x))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×pow1
12×times-frac
10×add-exp-log add-cbrt-cube
8×tan-quot
6×swap-sqr associate-*r* associate-*l* add-log-exp
5×difference-of-squares
4×associate-/l*
3×associate-/r*
2×pow2 frac-times flip3-- pow-plus associate-*r/ pow-prod-down associate-*l/ prod-exp associate-/r/ pow-sqr *-commutative pow-prod-up flip-- cbrt-unprod associate-/l/ unswap-sqr
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 105
Calls
4 calls:
2.0ms
(- 1.0 (* (tan x) (tan x)))
8.0ms
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
5.0ms
(* (tan x) (tan x))
7.0ms
(* (tan x) (tan x))

series200.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- 1.0 (* (tan x) (tan x)))
92.0ms
(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
32.0ms
(* (tan x) (tan x))
41.0ms
(* (tan x) (tan x))

simplify82.0ms

Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
01381632
13141486