Details

Time bar (total: 16.1s)

sample294.0ms

Algorithm
intervals
Results
157.0ms1949×body80nan
19.0ms257×body80valid

simplify51.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize42.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))

rewrite302.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:
57.0ms
(- (+ (log (+ x y)) (log z)) t)
205.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
23.0ms
(* (- a 0.5) (log t))
13.0ms
(+ (log (+ x y)) (log z))

series559.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(- (+ (log (+ x y)) (log z)) t)
223.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
66.0ms
(* (- a 0.5) (log t))
80.0ms
(+ (log (+ x y)) (log z))

simplify57.0ms

Counts
114 → 114

prune417.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize31.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)

rewrite16.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:
12.0ms
(+ (log (+ x y)) (log z))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series695.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(+ (log (+ x y)) (log z))
200.0ms
(cbrt t)
203.0ms
(cbrt t)
212.0ms
(cbrt t)

simplify70.0ms

Counts
69 → 69

prune364.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize39.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 t 1/3)

rewrite19.0ms

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

series697.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(+ (log (+ x y)) (log z))
204.0ms
(cbrt t)
202.0ms
(cbrt t)
208.0ms
(pow t 1/3)

simplify52.0ms

Counts
76 → 76

prune435.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize37.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 t 1/3)

rewrite18.0ms

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

series974.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(+ (log (+ x y)) (log z))
201.0ms
(cbrt t)
476.0ms
(cbrt t)
210.0ms
(pow t 1/3)

simplify53.0ms

Counts
76 → 76

prune367.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes607.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.8s

Algorithm
intervals
Results
5.8s55816×body80nan
815.0ms8030×body80valid