Details

Time bar (total: 7.7s)

sample38.0ms

Algorithm
intervals
Results
15.0ms323×body80valid
1.0ms5×body1280valid
1.0ms6×body640valid
0.0ms4×body160valid
0.0ms3×body320valid

simplify124.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 2.0 3.0) z)
0.0b
(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
0.0b
(* (- y x) 6.0)
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
13×*-un-lft-identity
11×pow1 add-exp-log add-cbrt-cube
10×associate-*l/
9×associate-*r*
8×flip3-- flip-- add-log-exp
7×add-cube-cbrt
6×associate-*l*
5×sub-neg difference-of-squares
4×distribute-rgt-in frac-times associate-+r+ distribute-lft-in pow-prod-down prod-exp cbrt-unprod
3×distribute-lft-out--
2×times-frac associate-*r/ *-commutative
1×+-commutative flip3-+ diff-log sum-log flip-+ unswap-sqr
Counts
4 → 85
Calls
4 calls:
29.0ms
(- (/ 2.0 3.0) z)
23.0ms
(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
37.0ms
(* (- y x) 6.0)
108.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

series217.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(- (/ 2.0 3.0) z)
90.0ms
(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
45.0ms
(* (- y x) 6.0)
60.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

simplify59.0ms

Counts
97 → 97

prune284.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 2.0 3.0) z)
0.0b
(* 6.0 (- (/ 2.0 3.0) z))
0.0b
(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
0.1b
(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×distribute-rgt-in distribute-lft-in
13×*-un-lft-identity
11×pow1 add-exp-log sub-neg add-cbrt-cube
10×associate-*r/
8×associate-+r+ flip3-- associate-*l* flip-- add-log-exp
7×add-cube-cbrt associate-*r*
5×difference-of-squares
4×frac-times pow-prod-down prod-exp cbrt-unprod
3×distribute-lft-out--
2×times-frac associate-*l/ *-commutative
1×+-commutative flip3-+ diff-log sum-log flip-+ unswap-sqr
Counts
4 → 97
Calls
4 calls:
18.0ms
(- (/ 2.0 3.0) z)
52.0ms
(* 6.0 (- (/ 2.0 3.0) z))
16.0ms
(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
73.0ms
(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

series179.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(- (/ 2.0 3.0) z)
41.0ms
(* 6.0 (- (/ 2.0 3.0) z))
68.0ms
(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
49.0ms
(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

simplify40.0ms

Counts
109 → 109

prune233.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l/
23×add-sqr-sqrt
19×pow1 add-exp-log add-cbrt-cube
18×flip3-- associate-*r* flip--
14×*-un-lft-identity
12×frac-times
9×pow-prod-down prod-exp cbrt-unprod
8×add-cube-cbrt
6×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ difference-of-squares
4×add-log-exp
3×cbrt-prod times-frac associate-*l* *-commutative distribute-lft-out--
2×cbrt-div
1×flip3-+ pow1/3 flip-+
Counts
4 → 112
Calls
4 calls:
4.0ms
(cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))
94.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
99.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
90.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

series744.0ms

Counts
4 → 12
Calls
4 calls:
551.0ms
(cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z))))
65.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
62.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
66.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

simplify52.0ms

Counts
124 → 124

prune501.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* (* (- y x) 6.0) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (cbrt (- (/ 2.0 3.0) z)))
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
0.7b
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
0.8b
(* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))

rewrite947.0ms

Algorithm
rewrite-expression-head
Rules
174×cbrt-div
148×frac-times
126×flip3-- flip--
122×associate-*l/
59×add-sqr-sqrt
50×associate-*r/
39×pow1
38×cbrt-prod
36×*-un-lft-identity
34×add-exp-log
30×associate-*r*
23×add-cbrt-cube
21×pow-prod-down
20×prod-exp cbrt-unprod
16×add-cube-cbrt
14×difference-of-squares
12×associate-*l*
11×swap-sqr
9×distribute-lft-out--
7×times-frac
6×pow1/3
4×distribute-rgt-in sub-neg distribute-lft-in *-commutative add-log-exp unswap-sqr
2×pow-sqr pow-prod-up
1×pow2 pow-plus
Counts
4 → 238
Calls
4 calls:
623.0ms
(* (* (* (- y x) 6.0) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (cbrt (- (/ 2.0 3.0) z)))
89.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
89.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
127.0ms
(* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))

series336.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (* (* (- y x) 6.0) (* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))) (cbrt (- (/ 2.0 3.0) z)))
72.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
62.0ms
(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))
132.0ms
(* (cbrt (- (/ 2.0 3.0) z)) (cbrt (- (/ 2.0 3.0) z)))

simplify68.0ms

Counts
250 → 250

prune1.4s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes317.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify140.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
623.0ms9294×body80valid
62.0ms160×body1280valid
48.0ms276×body640valid
31.0ms209×body320valid
12.0ms129×body160valid