Details

Time bar (total: 18.7s)

sample43.0ms

Algorithm
intervals
Results
13.0ms201×body80valid
5.0ms21×body640valid
3.0ms10×body1280valid
3.0ms15×body320valid
1.0ms9×body160valid

simplify5.0s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.9b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
13×add-sqr-sqrt
10×add-exp-log add-cbrt-cube
7×add-cube-cbrt
5×pow1 associate-*l* add-log-exp
4×times-frac associate-*l/ associate-/r*
3×flip3-- associate-*r* flip--
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/ distribute-lft-out distribute-lft-out-- difference-of-squares
1×sub-neg frac-2neg flip3-+ diff-log pow-prod-down clear-num *-commutative flip-+ div-inv associate-/l* unswap-sqr
Counts
3 → 63
Calls
3 calls:
24.0ms
(* (- 1.0 x) y)
43.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
42.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series250.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(* (- 1.0 x) y)
107.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
82.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify1.5s

Counts
72 → 72
Iterations

Useful iterations: done (1.5s)

IterNodesCost
0128885
1335828
21274746
done5001744

prune224.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
28×add-sqr-sqrt
25×times-frac
21×add-cube-cbrt
18×associate-*r*
10×add-exp-log add-cbrt-cube
7×distribute-lft-out
5×pow1 associate-*l* add-log-exp
4×associate-/r* associate-/r/
3×flip3-- flip-- associate-/l*
2×cbrt-undiv frac-times flip3-+ div-exp associate-*l/ prod-exp cbrt-unprod flip-+ div-inv unswap-sqr
1×sub-neg frac-2neg diff-log associate-*r/ pow-prod-down clear-num *-commutative distribute-lft-out-- difference-of-squares
Counts
3 → 88
Calls
3 calls:
23.0ms
(/ y (+ y 1.0))
83.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
11.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series256.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(/ y (+ y 1.0))
89.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
102.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify1.5s

Counts
97 → 97
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01571229
13951148
213871056
done50001054

prune270.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite121.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-+l+ diff-log associate-*r/ sum-log add-cbrt-cube
1×+-commutative associate-+l- flip3-- flip3-+ frac-sub flip-- flip-+ div-inv distribute-lft-out distribute-lft-out-- sub-div
Counts
2 → 31
Calls
2 calls:
96.0ms
(+ (- (/ 1.0 y) (* 1.0 (/ x y))) x)
23.0ms
(- (/ 1.0 y) (* 1.0 (/ x y)))

series105.0ms

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

simplify1.7s

Counts
37 → 37
Iterations

Useful iterations: 3 (533.0ms)

IterNodesCost
064554
1177512
2506486
32041478
done5000478

prune126.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))) (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))))
7.2b
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
7.2b
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
7.2b
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-div
32×cbrt-prod
30×associate-*r/
23×add-sqr-sqrt
16×frac-times
15×add-cube-cbrt *-un-lft-identity
13×flip3-- frac-sub flip-- sub-div
11×pow1
9×pow1/3
7×swap-sqr associate-*r* associate-*l* div-inv distribute-lft-out--
6×add-exp-log
4×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 → 115
Calls
4 calls:
108.0ms
(* (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))) (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))))
23.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
21.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
11.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))

series1.2s

Counts
4 → 12
Calls
4 calls:
321.0ms
(* (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))) (cbrt (- (/ 1.0 y) (* 1.0 (/ x y)))))
309.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
272.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))
255.0ms
(cbrt (- (/ 1.0 y) (* 1.0 (/ x y))))

simplify3.6s

Counts
127 → 127
Iterations

Useful iterations: done (3.6s)

IterNodesCost
02293843
15013622
214753389
349052973
done50002954

prune682.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes248.0ms

Accuracy

100% (0.0b remaining)

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

bsearch156.0ms

Steps
ItersRangePoint
10
3991008.2413703846
2.242237725246844e+22
283365302.99537873
10
-2141618727278.2056
-0.22637101271021068
-171525914.43091986

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01941
12631
done2631

end0.0ms

sample1.2s

Algorithm
intervals
Results
396.0ms6167×body80valid
260.0ms707×body640valid
102.0ms467×body320valid
92.0ms382×body1280valid
27.0ms277×body160valid