Details

Time bar (total: 18.8s)

sample68.0ms

Algorithm
intervals
Results
29.0ms257×body80valid
15.0ms247×body80nan

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5000
63919
51752
4591
3184
261
121
010

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b
(+ (- x (* (+ y 0.5) (log y))) y)
0.2b
(* (+ y 0.5) (log y))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×add-sqr-sqrt
7×add-log-exp
6×log-prod add-cube-cbrt
5×pow1
4×add-cbrt-cube associate-*r* associate-*l* add-exp-log
3×distribute-rgt-in distribute-lft-in
2×associate-+l+ sum-log flip3-+ associate-*l/ flip-+ insert-posit16 distribute-lft-out
1×+-commutative sub-neg diff-log pow-prod-down prod-exp log-pow *-commutative associate-+l- cbrt-unprod unswap-sqr
Counts
2 → 46
Calls
2 calls:
17.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
16.0ms
(* (+ y 0.5) (log y))

series403.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
331.0ms
(* (+ y 0.5) (log y))

simplify2.5s

Counts
52 → 52
Iterations
IterNodes
done5000
34033
2842
1311
0116

prune225.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
9×*-un-lft-identity
7×add-sqr-sqrt
6×pow1
5×add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r* associate-*l*
3×insert-posit16
2×distribute-rgt-in associate-+r+ sum-log sub-neg distribute-lft-in flip3-+ diff-log associate-*r/ flip-+ distribute-lft-out associate--r+
1×+-commutative associate-+r- flip3-- pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-- unswap-sqr
Counts
3 → 57
Calls
3 calls:
12.0ms
(+ x (- y (* (log y) (+ y 0.5))))
7.0ms
(- y (* (log y) (+ y 0.5)))
17.0ms
(* (log y) (+ y 0.5))

series1.0s

Counts
3 → 9
Calls
3 calls:
49.0ms
(+ x (- y (* (log y) (+ y 0.5))))
610.0ms
(- y (* (log y) (+ y 0.5)))
386.0ms
(* (log y) (+ y 0.5))

simplify1.3s

Counts
66 → 66
Iterations
IterNodes
done5000
21393
1345
0120

prune314.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- (- y (* y (log y))) (* 0.5 (log y))))
0.0b
(- (- y (* y (log y))) (* 0.5 (log y)))
0.3b
(- y (* y (log y)))
0.3b
(* y (log y))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
18×log-prod
14×add-sqr-sqrt *-un-lft-identity
12×add-cube-cbrt associate--r+
9×distribute-rgt-in distribute-lft-in
7×pow1 diff-log
6×add-cbrt-cube add-exp-log
5×sub-neg
4×associate-+r+ associate-*r* associate--l+ insert-posit16
3×sum-log associate-*l*
2×flip3-- flip--
1×associate--l- +-commutative associate-+r- flip3-+ pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 88
Calls
4 calls:
53.0ms
(+ x (- (- y (* y (log y))) (* 0.5 (log y))))
26.0ms
(- (- y (* y (log y))) (* 0.5 (log y)))
16.0ms
(- y (* y (log y)))
13.0ms
(* y (log y))

series1.4s

Counts
4 → 12
Calls
4 calls:
75.0ms
(+ x (- (- y (* y (log y))) (* 0.5 (log y))))
678.0ms
(- (- y (* y (log y))) (* 0.5 (log y)))
329.0ms
(- y (* y (log y)))
346.0ms
(* y (log y))

simplify1.6s

Counts
100 → 100
Iterations
IterNodes
done5000
21325
1433
0170

prune516.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y))))
0.0b
(- (+ 0 (log y)) 1)
0.0b
(- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y)))
0.3b
(* (- y) (- (+ 0 (log y)) 1))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
20×add-sqr-sqrt
19×associate--l+
15×add-log-exp
12×distribute-rgt-in distribute-lft-in
10×associate-*l* add-cube-cbrt
9×sub-neg associate-*r*
8×pow1 associate-+r+
6×log-prod add-cbrt-cube add-exp-log associate--r+ distribute-lft-out--
5×distribute-lft-out
4×diff-log insert-posit16 difference-of-squares
3×distribute-lft-neg-in sum-log distribute-rgt-neg-in flip3-- flip--
2×difference-of-sqr-1 associate-*r/ log-pow
1×distribute-lft-neg-out +-commutative associate-+r- neg-mul-1 flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 110
Calls
4 calls:
51.0ms
(+ x (- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y))))
33.0ms
(- (+ 0 (log y)) 1)
27.0ms
(- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y)))
95.0ms
(* (- y) (- (+ 0 (log y)) 1))

series1.2s

Counts
4 → 12
Calls
4 calls:
65.0ms
(+ x (- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y))))
198.0ms
(- (+ 0 (log y)) 1)
640.0ms
(- (* (- y) (- (+ 0 (log y)) 1)) (* 0.5 (log y)))
288.0ms
(* (- y) (- (+ 0 (log y)) 1))

simplify2.3s

Counts
122 → 122
Iterations
IterNodes
done5001
22033
1521
0190

prune590.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes174.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done27
327
226
122
015

end0.0ms

sample1.6s

Algorithm
intervals
Results
764.0ms8045×body80valid
458.0ms8101×body80nan
1.0ms1×body1280valid