Details

Time bar (total: 6.7s)

sample16.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01417
12217
23317
34817
45817
56417
68617
711617
814417
916717
1031117
1151817
1284717
13197317
done500017

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)))

rewrite38.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:
3.0ms
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
13.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
13.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series226.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))
82.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
61.0ms
(* (+ 0.99229 (* x 0.04481)) x)
59.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify509.0ms

Counts
89 → 89
Iterations

Useful iterations: done (506.0ms)

IterNodesCost
01681758
14201670
214191544
done50001540

prune205.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize14.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))

rewrite42.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:
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
8.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))

series261.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* (+ 0.99229 (* x 0.04481)) x)
82.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
55.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))

simplify1.1s

Counts
159 → 159
Iterations

Useful iterations: 2 (230.0ms)

IterNodesCost
02414362
16663889
227623508
done50013508

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))

rewrite37.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)
4.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))

series235.0ms

Counts
4 → 12
Calls
4 calls:
82.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))

simplify1.0s

Counts
142 → 142
Iterations

Useful iterations: 2 (221.0ms)

IterNodesCost
02313216
16252658
225702466
done50002466

prune351.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

sample327.0ms

Algorithm
intervals
Results
240.0ms8000×body80valid