Details

Time bar (total: 9.0s)

sample16.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12217
23317
34817
45617
56217
68417
711217
814017
916317
1020517
1125117
1226117
1327817
1431417
1540417
1663817
1784917
1898817
19109217
20116217
21123717
22125317
23125817
done125817

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
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
0.0b
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.1b
(* (+ 0.99229 (* x 0.04481)) x)
15.6b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
10×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1
4×flip3-+ flip-+
3×associate-*r* associate-*l* associate-/r* associate-/l*
2×associate-*l/ associate-/r/ associate-/l/ difference-of-squares
1×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
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
14.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
8.0ms
(* (+ 0.99229 (* x 0.04481)) x)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series235.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
86.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
66.0ms
(* (+ 0.99229 (* x 0.04481)) x)
62.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify2.8s

Counts
89 → 89
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
01681758
14181670
212631544
347501540
done50001540

prune210.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ 0.99229 (* x 0.04481)) x)
0.1b
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
15.6b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
22.9b
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
45×times-frac
44×add-cube-cbrt *-un-lft-identity
36×cbrt-prod
30×unpow-prod-down cube-prod
11×add-exp-log add-cbrt-cube
10×associate-/r/
7×pow1 flip3-+ flip-+
5×div-inv
4×add-log-exp
3×pow-unpow associate-*r* associate-*l* associate-/r* associate-/l*
2×cbrt-undiv cube-div cube-mult unpow3 div-exp associate-*l/ pow-exp associate-/l/ rem-cube-cbrt sqr-pow
1×pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 pow-prod-down prod-exp clear-num *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 147
Calls
4 calls:
8.0ms
(* (+ 0.99229 (* x 0.04481)) x)
9.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
11.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3))

series266.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* (+ 0.99229 (* x 0.04481)) x)
85.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
57.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
60.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3))

simplify858.0ms

Counts
159 → 159
Iterations

Useful iterations: done (851.0ms)

IterNodesCost
02414362
16473889
221573508
done50003506

prune350.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3)
0.2b
(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
15.3b
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
22.9b
(cbrt (pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×add-exp-log
23×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
17×add-cbrt-cube
15×associate-*r*
12×cube-div
10×pow1
8×cbrt-prod flip3-+ prod-exp flip-+
6×frac-times cbrt-div div-exp associate-*l/
5×pow-exp
4×associate-/r/ cbrt-unprod add-log-exp
3×cbrt-undiv rec-exp pow-unpow 1-exp associate-*r/ associate-*l* associate-/r* un-div-inv associate-/l* rem-cube-cbrt unswap-sqr
2×cube-mult unpow-prod-down pow-pow unpow3 cube-prod pow-prod-down div-inv sqr-pow
1×pow-to-exp pow-flip frac-2neg pow1/3 clear-num *-commutative rem-cbrt-cube inv-pow
Counts
4 → 130
Calls
4 calls:
8.0ms
(pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3)
5.0ms
(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
18.0ms
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
2.0ms
(cbrt (pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3))

series249.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3)
38.0ms
(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
57.0ms
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
58.0ms
(cbrt (pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3))

simplify968.0ms

Counts
142 → 142
Iterations

Useful iterations: 2 (346.0ms)

IterNodesCost
02313216
16002626
220412466
done50002466

prune353.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01922
12822
done2822

end0.0ms

sample350.0ms

Algorithm
intervals
Results
257.0ms8000×body80valid