Details

Time bar (total: 11.4s)

sample18.0ms

Algorithm
intervals
Results
4.0ms189×body80valid
2.0ms26×body640valid
1.0ms14×body1280valid
1.0ms17×body320valid
0.0ms10×body160valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11611
23511
37411
412311
521011
623211
724811
827511
932711
1034611
1135211
1236711
1338311
1447011
1556111
1681611
17111811
18152711
19160811
done160811

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize6.0ms

Local error

Found 2 expressions with local error:

2.2b
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
6.4b
(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
7×add-exp-log add-cbrt-cube
6×add-sqr-sqrt
4×add-cube-cbrt times-frac associate-/r* add-log-exp
2×pow1 cbrt-undiv flip3-- div-exp associate-*l/ associate-/r/ flip-- associate-/l/ distribute-lft-out
1×sub-neg frac-2neg flip3-+ diff-log prod-exp clear-num cbrt-unprod flip-+ div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
2 → 41
Calls
2 calls:
21.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
22.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series112.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
43.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify2.0s

Counts
47 → 47
Iterations

Useful iterations: 3 (993.0ms)

IterNodesCost
0104694
1285648
2985584
34177582
done5001582

prune90.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y y) (* 1.0 1.0))
0.1b
(* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0))
4.4b
(- 1.0 (* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0)))
16.5b
(/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log add-cbrt-cube
13×add-sqr-sqrt
11×*-un-lft-identity
10×associate-*l*
9×add-cube-cbrt
8×times-frac add-log-exp
7×flip3-- flip--
6×pow1 sub-neg
5×associate-*r* prod-exp cbrt-unprod difference-of-squares
4×cbrt-undiv distribute-rgt-in distribute-lft-in div-exp associate-/r* associate-/r/ associate--r+
3×associate-*l/
2×frac-times diff-log associate-*r/ div-inv associate-/l/
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l* distribute-lft-out-- unswap-sqr
Counts
4 → 96
Calls
4 calls:
8.0ms
(- (* y y) (* 1.0 1.0))
67.0ms
(* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0))
6.0ms
(- 1.0 (* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0)))
23.0ms
(/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0)))

series367.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- (* y y) (* 1.0 1.0))
79.0ms
(* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0))
159.0ms
(- 1.0 (* (/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0))) (- y 1.0)))
87.0ms
(/ (* (- 1.0 x) y) (- (* y y) (* 1.0 1.0)))

simplify975.0ms

Counts
108 → 108
Iterations

Useful iterations: 2 (364.0ms)

IterNodesCost
01822185
15212082
222541818
done50011818

prune207.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×*-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg associate-+r+ flip3-- diff-log frac-add sum-log add-cbrt-cube flip--
1×+-commutative associate-+r- flip3-+ flip-+ distribute-lft-out
Counts
2 → 30
Calls
2 calls:
21.0ms
(+ (/ 1.0 y) (- x (* 1.0 (/ x y))))
7.0ms
(- x (* 1.0 (/ x y)))

series64.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ (/ 1.0 y) (- x (* 1.0 (/ x y))))
33.0ms
(- x (* 1.0 (/ x y)))

simplify1.3s

Counts
36 → 36
Iterations

Useful iterations: 3 (434.0ms)

IterNodesCost
063574
1196530
2593502
32442494
done5001494

prune61.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))) (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))))
5.8b
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
5.8b
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
5.8b
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-div
36×cbrt-prod
35×*-un-lft-identity
26×frac-add
23×add-sqr-sqrt
16×frac-times
15×add-cube-cbrt
13×flip3-- flip3-+ flip-- flip-+
11×pow1
9×pow1/3 swap-sqr distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×associate-*r/ associate-*l/ add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 117
Calls
4 calls:
132.0ms
(* (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))) (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))))
18.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
15.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
16.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))

series489.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(* (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))) (cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y))))))
111.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
113.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))
114.0ms
(cbrt (+ (/ 1.0 y) (- x (* 1.0 (/ x y)))))

simplify1.0s

Counts
129 → 129
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02315104
15644680
216954455
done50004036

prune346.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.2b

regimes157.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 23.9b

bsearch78.0ms

Steps
ItersRangePoint
9
211.08706756948936
882388454.4280733
238223948.70080265
9
-5463081689.944393
-76786.820650899
-100774082.49659032

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02349
13039
done3039

end0.0ms

sample463.0ms

Algorithm
intervals
Results
146.0ms6133×body80valid
59.0ms719×body640valid
38.0ms339×body1280valid
35.0ms513×body320valid
13.0ms296×body160valid