Details

Time bar (total: 14.6s)

sample21.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify13.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12217
23317
34817
45817
56417
68617
711617
814417
916717
1021617
1128817
1230417
1332117
1439017
1556617
1685017
17113117
18134317
19148717
20157417
21168817
22170817
23171317
done171317

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 0.99229 (* x 0.04481))
0.0b
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.1b
(* (+ 0.99229 (* x 0.04481)) x)
14.8b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
10×times-frac
add-exp-log add-cbrt-cube add-log-exp
pow1
flip3-+ flip-+
associate-*r* associate-*l* associate-/r* associate-/l*
associate-*l/ associate-/r/ associate-/l/ difference-of-squares
cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 77
Calls
4 calls:
2.0ms
(+ 0.99229 (* x 0.04481))
12.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
11.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(+ 0.99229 (* x 0.04481))
84.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
62.0ms
(* (+ 0.99229 (* x 0.04481)) x)
58.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify442.0ms

Iterations

Useful iterations: 2 (110.0ms)

IterNodesCost
01701668
14211584
213291472