Details

Time bar (total: 22.8s)

sample39.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify19.3s

Counts
1 → 1
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
01619
13119
25916
38716
411216
512616
614216
718116
824516
927316
1034616
1154216
1279416
13110016
14140416
15163716
16197916
17269416
18341216
19443316
20499016
done500016

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
0.1b
(fma (fma 0.04481 x 0.99229) x 1.0)
13.9b
(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
10×times-frac
7×add-exp-log add-cbrt-cube
6×associate-*l*
5×pow1
3×expm1-log1p-u associate-*r* associate-/r* log1p-expm1-u associate-/l* add-log-exp
2×associate-*l/ difference-of-squares
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod fma-udef div-inv distribute-lft-out-- unswap-sqr
Counts
3 → 64
Calls
3 calls:
85.0ms
(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
1.0ms
(fma (fma 0.04481 x 0.99229) x 1.0)
9.0ms
(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series215.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(* (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x) 0.70711)
44.0ms
(fma (fma 0.04481 x 0.99229) x 1.0)
80.0ms
(/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.9s

Counts
73 → 73
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01431343
12911295
27891169
323741167
done50001163

prune279.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01316
11416
done1416

end0.0ms

sample886.0ms

Algorithm
intervals
Results
688.0ms8000×body80valid