Details

Time bar (total: 15.6s)

sample549.0ms

Algorithm
intervals
Results
421.0ms1949×body80nan
18.0ms257×body80valid

simplify54.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (log (+ x y)) (log z)) t)
0.1b
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.2b
(* (- a 0.5) (log t))
0.5b
(+ (log (+ x y)) (log z))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
19×log-prod
18×add-sqr-sqrt
15×pow1
14×add-log-exp
12×add-cube-cbrt
9×associate-+r+ log-pow distribute-lft-out
7×associate-+l+
6×add-exp-log distribute-rgt-in flip3-- distribute-lft-in associate-*l/ sum-log add-cbrt-cube flip-- distribute-lft-out--
5×associate-+l- associate-*l*
4×log-div flip3-+ diff-log associate-*r* frac-add flip-+
2×+-commutative associate--l- sub-neg associate--l+ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 102
Calls
4 calls:
58.0ms
(- (+ (log (+ x y)) (log z)) t)
200.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
23.0ms
(* (- a 0.5) (log t))
14.0ms
(+ (log (+ x y)) (log z))

series552.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(- (+ (log (+ x y)) (log z)) t)
215.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
65.0ms
(* (- a 0.5) (log t))
77.0ms
(+ (log (+ x y)) (log z))

simplify62.0ms

Counts
114 → 114

prune414.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ (log (+ x y)) (log z))
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
9×cbrt-prod add-sqr-sqrt add-cube-cbrt
8×pow1
7×log-prod
5×distribute-lft-out
4×add-exp-log associate-+l+ log-pow add-cbrt-cube add-log-exp
3×associate-+r+ pow1/3
2×associate-+l- log-div flip3-+ flip-+
1×+-commutative sum-log
Counts
4 → 57
Calls
4 calls:
13.0ms
(+ (log (+ x y)) (log z))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series713.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(+ (log (+ x y)) (log z))
208.0ms
(cbrt t)
213.0ms
(cbrt t)
206.0ms
(cbrt t)

simplify74.0ms

Counts
69 → 69

prune379.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ (log (+ x y)) (log z))
0.6b
(cbrt t)
0.6b
(cbrt t)
5.1b
(pow (/ 1 t) -1/3)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
16×add-sqr-sqrt add-cube-cbrt
13×unpow-prod-down
10×pow1
9×add-exp-log times-frac
7×log-prod
6×cbrt-prod
5×distribute-lft-out
4×associate-+l+ pow-exp log-pow add-cbrt-cube add-log-exp
3×pow-unpow associate-+r+ pow-pow
2×associate-+l- log-div flip3-+ pow1/3 div-exp flip-+
1×+-commutative pow-to-exp rec-exp pow-flip 1-exp sum-log div-inv inv-pow sqr-pow
Counts
4 → 78
Calls
4 calls:
24.0ms
(+ (log (+ x y)) (log z))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
8.0ms
(pow (/ 1 t) -1/3)

series696.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(+ (log (+ x y)) (log z))
201.0ms
(cbrt t)
207.0ms
(cbrt t)
207.0ms
(pow (/ 1 t) -1/3)

simplify79.0ms

Counts
90 → 90

prune423.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series829.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(cbrt z)
204.0ms
(cbrt t)
208.0ms
(cbrt t)
213.0ms
(cbrt t)

simplify57.0ms

Counts
56 → 56

prune329.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes631.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

end0.0ms

sample9.3s

Algorithm
intervals
Results
5.6s55816×body80nan
691.0ms8030×body80valid