Details

Time bar (total: 8.2s)

sample20.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify6.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06123
18123
done8123

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (+ x y) (+ y 1.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
16×times-frac
11×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
4×associate-/r* associate-/l*
3×add-cbrt-cube add-exp-log
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×pow1 cbrt-undiv clear-num frac-2neg div-exp div-inv add-log-exp
Counts
1 → 40
Calls
1 calls:
37.0ms
(/ (+ x y) (+ y 1.0))

series43.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(/ (+ x y) (+ y 1.0))

simplify2.3s

Counts
43 → 43
Iterations

Useful iterations: 2 (178.0ms)

IterNodesCost
07810793
11979936
26329736
326199736
done50119736

prune146.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* y y) (- (* 1.0 1.0) (* y 1.0)))
0.1b
(* y (* y y))
5.6b
(/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0)))
17.3b
(* (/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

rewrite267.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
33×times-frac
31×add-sqr-sqrt
25×associate-*l* add-cube-cbrt
20×pow1
16×add-cbrt-cube add-exp-log
10×cube-unmult
9×pow3 sum-cubes distribute-lft-out add-log-exp
6×flip3-+ flip-+
5×prod-exp pow-prod-up cbrt-unprod
4×associate-/r* associate-*r* pow-prod-down associate-/r/ associate-/l*
3×unswap-sqr
2×frac-times cbrt-undiv associate-+r+ sum-log div-exp associate-*r/ *-commutative div-inv associate-/l/
1×pow2 distribute-rgt-in +-commutative clear-num associate-+r- sub-neg frac-2neg distribute-lft-in pow-plus diff-log associate-*l/ pow-sqr
Counts
4 → 126
Calls
4 calls:
13.0ms
(+ (* y y) (- (* 1.0 1.0) (* y 1.0)))
13.0ms
(* y (* y y))
56.0ms
(/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0)))
179.0ms
(* (/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

series320.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (* y y) (- (* 1.0 1.0) (* y 1.0)))
58.0ms
(* y (* y y))
106.0ms
(/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0)))
119.0ms
(* (/ (+ y x) (+ (* y (* y y)) (* (* 1.0 1.0) 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

simplify3.1s

Counts
138 → 138
Iterations

Useful iterations: done (3.1s)

IterNodesCost
020555545
169849650
2268448892
done500448812

prune689.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ y x) (+ y 1.0))
0.3b
(/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))
0.9b
(* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0)))
17.3b
(* (* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

rewrite405.0ms

Algorithm
rewrite-expression-head
Rules
77×*-un-lft-identity
64×add-exp-log
57×times-frac
56×add-sqr-sqrt
39×add-cube-cbrt
38×add-cbrt-cube
25×associate-*r* prod-exp
19×div-exp
18×distribute-lft-out
16×associate-*l*
13×cbrt-unprod
12×pow1
10×frac-times cbrt-undiv
9×flip3-+ flip-+
8×associate-/r/
7×associate-/r* associate-*l/ associate-/l*
6×associate-*r/ unswap-sqr
5×rec-exp 1-exp
4×pow-prod-down div-inv add-log-exp
2×clear-num frac-2neg *-commutative associate-/l/
1×distribute-rgt-in distribute-lft-in pow-flip inv-pow
Counts
4 → 181
Calls
4 calls:
23.0ms
(/ (+ y x) (+ y 1.0))
37.0ms
(/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))
112.0ms
(* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0)))
219.0ms
(* (* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

series319.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ (+ y x) (+ y 1.0))
80.0ms
(/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))
145.0ms
(* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0)))
58.0ms
(* (* (/ 1 (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))) (/ (+ y x) (+ y 1.0))) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

simplify436.0ms

Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
026190223