Details

Time bar (total: 29.3s)

sample273.0ms

Algorithm
intervals
Results
176.0ms1833×body80nan
22.0ms257×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5002
73868
61574
5899
4374
3147
259
127
015

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
19×log-prod *-un-lft-identity
15×add-sqr-sqrt
11×add-cube-cbrt
10×pow1 add-log-exp
9×associate-+r+
7×associate-+l+
6×distribute-rgt-in distribute-lft-in associate-*l/
5×sum-log flip3-- add-cbrt-cube associate-*l* add-exp-log log-pow flip-- distribute-lft-out
4×associate-*r* frac-add
3×flip3-+ associate-+l- flip-+ insert-posit16
2×+-commutative log-div diff-log
1×sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 83
Calls
3 calls:
22.0ms
(* (- a 0.5) (log t))
176.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
13.0ms
(+ (log (+ x y)) (log z))

series368.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(* (- a 0.5) (log t))
213.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
90.0ms
(+ (log (+ x y)) (log z))

simplify1.5s

Counts
92 → 92
Iterations
IterNodes
done5008
22187
1609
0229

prune580.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×log-prod
19×add-sqr-sqrt
14×add-log-exp
13×add-cube-cbrt
9×pow1 associate-+l+
7×associate-+r+ sum-log
6×distribute-rgt-in distribute-lft-in flip3-- add-cbrt-cube associate-*l/ associate--l+ add-exp-log flip--
5×associate-*l*
4×associate-*r* frac-add associate-+l- insert-posit16
3×flip3-+ diff-log log-pow flip-+ distribute-lft-out distribute-lft-out--
2×+-commutative log-div sub-neg difference-of-squares
1×associate-+r- pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 102
Calls
4 calls:
6.0ms
(- (log z) t)
17.0ms
(* (- a 0.5) (log t))
73.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
43.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))

series511.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (log z) t)
67.0ms
(* (- a 0.5) (log t))
236.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
124.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))

simplify1.5s

Counts
114 → 114
Iterations
IterNodes
done5001
22262
1668
0246

prune713.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
26×add-log-exp
24×*-un-lft-identity
19×log-prod
16×add-sqr-sqrt
14×sum-log
12×add-cube-cbrt
10×associate-+l+
9×pow1
8×diff-log
7×flip3-+ flip-+
6×distribute-rgt-in associate-+r+ distribute-lft-in add-cbrt-cube add-exp-log
5×distribute-lft-out
4×associate-*r* frac-sub insert-posit16
3×associate-*l* log-pow distribute-lft-out--
2×+-commutative log-div sub-neg associate--l+ associate-+l-
1×associate-+r- flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- associate--r+ difference-of-squares unswap-sqr
Counts
4 → 101
Calls
4 calls:
13.0ms
(+ (* a (log t)) (log z))
112.0ms
(+ (log (+ x y)) (- (+ (* a (log t)) (log z)) (+ t (* 0.5 (log t)))))
77.0ms
(- (+ (* a (log t)) (log z)) (+ t (* 0.5 (log t))))
11.0ms
(* a (log t))

series412.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(+ (* a (log t)) (log z))
199.0ms
(+ (log (+ x y)) (- (+ (* a (log t)) (log z)) (+ t (* 0.5 (log t)))))
72.0ms
(- (+ (* a (log t)) (log z)) (+ t (* 0.5 (log t))))
57.0ms
(* a (log t))

simplify1.6s

Counts
113 → 113
Iterations
IterNodes
done5003
22354
1651
0239

prune779.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (log (+ x y)) (log (+ x y)))
0.5b
(* (log z) (log z))
0.6b
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
0.6b
(- (log (+ x y)) (log z))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
35×log-prod
34×pow1
28×add-sqr-sqrt
22×add-cube-cbrt
16×log-pow
14×distribute-rgt-in distribute-lft-in
12×swap-sqr associate--l+
9×associate--r+
8×add-cbrt-cube associate-*r* associate-*l* add-exp-log
6×add-log-exp
5×distribute-lft-out
4×insert-posit16 distribute-lft-out--
2×associate--l- pow2 log-div sub-neg pow-plus flip3-- diff-log pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-- difference-of-squares unswap-sqr
1×flip3-+ flip-+
Counts
4 → 131
Calls
4 calls:
20.0ms
(* (log (+ x y)) (log (+ x y)))
13.0ms
(* (log z) (log z))
21.0ms
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
16.0ms
(- (log (+ x y)) (log z))

series735.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(* (log (+ x y)) (log (+ x y)))
197.0ms
(* (log z) (log z))
204.0ms
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
98.0ms
(- (log (+ x y)) (log z))

simplify2.6s

Counts
143 → 143
Iterations
IterNodes
done5000
33829
21564
1488
0184

prune827.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes1.4s

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done22
122
016

end0.0ms

sample11.5s

Algorithm
intervals
Results
7.9s54825×body80nan
1.1s8028×body80valid