Details

Time bar (total: 20.0s)

sample50.0ms

Algorithm
intervals
Results
14.0ms257×body80valid
12.0ms278×body80nan

simplify3.3s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
19×*-un-lft-identity
14×add-sqr-sqrt
12×log-prod
10×add-cube-cbrt
7×pow1
6×distribute-rgt-in distribute-lft-in add-cbrt-cube diff-log add-exp-log associate--r+
4×sum-log associate-*r* associate-*l*
3×sub-neg distribute-lft-out
2×associate-+l+ flip3-+ flip3-- associate-*l/ associate-+l- flip-+ flip-- distribute-lft-out--
1×associate--l- +-commutative pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 81
Calls
4 calls:
10.0ms
(- x (* (+ y 0.5) (log y)))
117.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
32.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
33.0ms
(* (+ y 0.5) (log y))

series739.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(- x (* (+ y 0.5) (log y)))
110.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
83.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
480.0ms
(* (+ y 0.5) (log y))

simplify1.6s

Counts
93 → 93
Iterations
IterNodes
done5001
21382
1461
0173

prune584.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
17×add-log-exp
13×add-sqr-sqrt *-un-lft-identity
12×log-prod
9×add-cube-cbrt
7×diff-log
6×distribute-rgt-in pow1 distribute-lft-in associate-*l/ associate--r+
5×flip3-+ add-cbrt-cube associate--l+ add-exp-log flip-+
4×associate-*r* associate-*l* frac-sub
3×sub-neg
2×sum-log flip3-- flip--
1×associate--l- pow-prod-down prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 72
Calls
3 calls:
136.0ms
(- (- (+ x y) (* (+ y 0.5) (log y))) z)
50.0ms
(- (+ x y) (* (+ y 0.5) (log y)))
22.0ms
(* (+ y 0.5) (log y))

series551.0ms

Counts
3 → 9
Calls
3 calls:
96.0ms
(- (- (+ x y) (* (+ y 0.5) (log y))) z)
67.0ms
(- (+ x y) (* (+ y 0.5) (log y)))
388.0ms
(* (+ y 0.5) (log y))

simplify2.0s

Counts
81 → 81
Iterations
IterNodes
done5016
21699
1523
0182

prune509.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
17×add-log-exp
16×*-un-lft-identity
13×add-sqr-sqrt
12×log-prod
9×add-cube-cbrt
6×distribute-rgt-in pow1 associate-+l+ distribute-lft-in flip3-+ flip-+
5×sum-log add-cbrt-cube add-exp-log
4×diff-log associate-*r* associate-*l* frac-sub
2×associate-*l/ distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-- pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod flip-- associate--r+ difference-of-squares unswap-sqr
Counts
3 → 69
Calls
3 calls:
11.0ms
(+ (* (+ y 0.5) (log y)) z)
55.0ms
(- (+ x y) (+ (* (+ y 0.5) (log y)) z))
19.0ms
(* (+ y 0.5) (log y))

series598.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(+ (* (+ y 0.5) (log y)) z)
97.0ms
(- (+ x y) (+ (* (+ y 0.5) (log y)) z))
437.0ms
(* (+ y 0.5) (log y))

simplify1.8s

Counts
78 → 78
Iterations
IterNodes
done5001
21762
1508
0171

prune498.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
9.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.4s

Counts
4 → 12
Calls
4 calls:
358.0ms
(* (cbrt y) (cbrt y))
380.0ms
(cbrt y)
374.0ms
(cbrt y)
316.0ms
(cbrt y)

simplify2.9s

Counts
85 → 85
Iterations
IterNodes
done5028
43114
3971
2377
1136
061

prune491.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes228.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done24
124
017

end0.0ms

sample2.1s

Algorithm
intervals
Results
862.0ms8036×body80valid
696.0ms8186×body80nan
0.0ms1×body160valid