Details

Time bar (total: 15.3s)

sample89.0ms

Algorithm
intervals
Results
45.0ms375×body80valid
0.0ms1×body160valid

simplify784.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- y 1.0) z)
0.0b
(* (- (+ y t) 2.0) b)
0.0b
(* (- t 1.0) a)
0.0b
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

rewrite412.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*l/
22×add-sqr-sqrt
19×flip3-- *-un-lft-identity flip--
16×associate-*l*
13×add-log-exp
12×frac-add
10×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
9×associate-*r*
8×frac-sub
4×associate-+l+ distribute-lft-out--
3×diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod difference-of-squares unswap-sqr
2×sub-neg associate--l+
1×+-commutative associate-+l- flip3-+ flip-+ distribute-lft-out
Counts
4 → 97
Calls
4 calls:
44.0ms
(* (- y 1.0) z)
166.0ms
(* (- (+ y t) 2.0) b)
31.0ms
(* (- t 1.0) a)
168.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

series383.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (- y 1.0) z)
39.0ms
(* (- (+ y t) 2.0) b)
42.0ms
(* (- t 1.0) a)
250.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))

simplify1.8s

Counts
109 → 109

prune544.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- y 1.0))
0.2b
(cbrt (- y 1.0))
0.2b
(cbrt (- y 1.0))
0.2b
(* (cbrt (- y 1.0)) (cbrt (- y 1.0)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 101
Calls
4 calls:
4.0ms
(cbrt (- y 1.0))
4.0ms
(cbrt (- y 1.0))
4.0ms
(cbrt (- y 1.0))
56.0ms
(* (cbrt (- y 1.0)) (cbrt (- y 1.0)))

series585.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(cbrt (- y 1.0))
131.0ms
(cbrt (- y 1.0))
121.0ms
(cbrt (- y 1.0))
210.0ms
(* (cbrt (- y 1.0)) (cbrt (- y 1.0)))

simplify620.0ms

Counts
113 → 113

prune698.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- y 1.0))
0.2b
(cbrt (- y 1.0))
0.2b
(cbrt (- y 1.0))
0.2b
(* (* 1 (cbrt (- y 1.0))) (cbrt (- y 1.0)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
20×cbrt-prod
18×cbrt-div *-un-lft-identity
17×add-sqr-sqrt
11×add-exp-log
9×pow1 add-cube-cbrt flip3-- flip--
8×associate-*r/ associate-*r*
6×add-cbrt-cube
5×prod-exp
4×frac-times distribute-lft-out-- add-log-exp difference-of-squares
3×pow1/3 pow-prod-down cbrt-unprod
2×associate-*l/
1×1-exp swap-sqr associate-*l* *-commutative
Counts
4 → 78
Calls
4 calls:
6.0ms
(cbrt (- y 1.0))
4.0ms
(cbrt (- y 1.0))
4.0ms
(cbrt (- y 1.0))
47.0ms
(* (* 1 (cbrt (- y 1.0))) (cbrt (- y 1.0)))

series573.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(cbrt (- y 1.0))
117.0ms
(cbrt (- y 1.0))
132.0ms
(cbrt (- y 1.0))
196.0ms
(* (* 1 (cbrt (- y 1.0))) (cbrt (- y 1.0)))

simplify1.5s

Counts
90 → 90

prune659.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
0.2b
(cbrt (cbrt (- y 1.0)))
0.2b
(cbrt (cbrt (- y 1.0)))
0.2b
(cbrt (cbrt (- y 1.0)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
117×cbrt-prod
54×add-sqr-sqrt
42×*-un-lft-identity
36×cbrt-div
22×add-cube-cbrt
13×swap-sqr
11×pow1 associate-*r* associate-*l*
9×flip3-- pow1/3 flip-- distribute-lft-out-- unswap-sqr
7×difference-of-squares
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 124
Calls
4 calls:
51.0ms
(* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
9.0ms
(cbrt (cbrt (- y 1.0)))
9.0ms
(cbrt (cbrt (- y 1.0)))
9.0ms
(cbrt (cbrt (- y 1.0)))

series700.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
145.0ms
(cbrt (cbrt (- y 1.0)))
149.0ms
(cbrt (cbrt (- y 1.0)))
165.0ms
(cbrt (cbrt (- y 1.0)))

simplify786.0ms

Counts
136 → 136

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes453.0ms

Accuracy

93.4% (0.0b remaining)

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

bsearch0.0ms

simplify718.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s12398×body80valid
0.0ms2×body320valid
0.0ms1×body160valid