Details

Time bar (total: 20.7s)

sample125.0ms

Algorithm
intervals
Results
45.0ms53×body1280valid
19.0ms37×body640valid
14.0ms161×body80valid
8.0ms26×body320valid
7.0ms104×body80nan
4.0ms19×body160valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
62074
5506
4151
352
224
115
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.4b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (+ x y))
0.0b
(exp (* x (log (/ x (+ x y)))))
0.1b
(* x (log (/ x (+ x y))))
9.2b
(log (/ x (+ x y)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
90×log-prod
72×times-frac
57×add-sqr-sqrt
55×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in exp-sum
19×distribute-lft-out
12×associate-/r/
11×add-exp-log
8×pow1 add-cbrt-cube
6×flip3-+ flip-+ div-inv add-log-exp
4×expm1-log1p-u associate-/r* associate-*r* log1p-expm1-u
3×associate-*l* associate-/l*
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div exp-prod clear-num frac-2neg exp-to-pow pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 171
Calls
4 calls:
17.0ms
(/ x (+ x y))
27.0ms
(exp (* x (log (/ x (+ x y)))))
36.0ms
(* x (log (/ x (+ x y))))
11.0ms
(log (/ x (+ x y)))

series603.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(/ x (+ x y))
370.0ms
(exp (* x (log (/ x (+ x y)))))
106.0ms
(* x (log (/ x (+ x y))))
64.0ms
(log (/ x (+ x y)))

simplify1.7s

Counts
183 → 183
Iterations
IterNodes
done5002
22381
1607
0256

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow (exp x) (log (/ x (+ x y)))) x)
0.0b
(/ x (+ x y))
0.6b
(pow (exp x) (log (/ x (+ x y))))
9.2b
(log (/ x (+ x y)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
159×times-frac
142×*-un-lft-identity
108×log-prod
98×add-sqr-sqrt add-cube-cbrt
90×unpow-prod-up
28×associate-/l*
22×distribute-lft-out
15×unpow-prod-down
14×associate-/r/
13×add-exp-log
8×add-cbrt-cube div-inv
7×pow1 associate-/r* flip3-+ flip-+
5×div-exp sqr-pow
4×expm1-log1p-u pow-unpow pow-pow log1p-expm1-u add-log-exp
3×log-div exp-prod
2×pow-to-exp cbrt-undiv clear-num frac-2neg rem-log-exp pow-exp log-pow pow-sub
1×associate-/l/
Counts
4 → 228
Calls
4 calls:
46.0ms
(/ (pow (exp x) (log (/ x (+ x y)))) x)
23.0ms
(/ x (+ x y))
19.0ms
(pow (exp x) (log (/ x (+ x y))))
10.0ms
(log (/ x (+ x y)))

series459.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(/ (pow (exp x) (log (/ x (+ x y)))) x)
62.0ms
(/ x (+ x y))
208.0ms
(pow (exp x) (log (/ x (+ x y))))
61.0ms
(log (/ x (+ x y)))

simplify2.2s

Counts
240 → 240
Iterations
IterNodes
done5000
23258
1748
0339

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (+ x y))
0.0b
(pow (exp 1) (* x (log (/ x (+ x y)))))
0.1b
(* x (log (/ x (+ x y))))
9.2b
(log (/ x (+ x y)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
95×*-un-lft-identity
90×log-prod
72×times-frac
59×add-sqr-sqrt
57×add-cube-cbrt
36×distribute-rgt-in unpow-prod-up distribute-lft-in
19×distribute-lft-out
12×associate-/r/
11×add-exp-log
9×pow1
8×add-cbrt-cube
6×flip3-+ flip-+ div-inv
4×expm1-log1p-u associate-/r* pow-pow associate-*r* log1p-expm1-u add-log-exp
3×exp-prod unpow-prod-down associate-*l* associate-/l*
2×div-exp rem-log-exp log-pow
1×pow-to-exp cbrt-undiv log-div pow-unpow clear-num frac-2neg pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod unswap-sqr sqr-pow
Counts
4 → 179
Calls
4 calls:
14.0ms
(/ x (+ x y))
29.0ms
(pow (exp 1) (* x (log (/ x (+ x y)))))
33.0ms
(* x (log (/ x (+ x y))))
10.0ms
(log (/ x (+ x y)))

series591.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ x (+ x y))
345.0ms
(pow (exp 1) (* x (log (/ x (+ x y)))))
116.0ms
(* x (log (/ x (+ x y))))
82.0ms
(log (/ x (+ x y)))

simplify2.4s

Counts
191 → 191
Iterations
IterNodes
done5000
23033
1732
0274

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize76.0ms

Local error

Found 4 expressions with local error:

3.8b
(log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))))
5.8b
(cbrt (/ x (+ x y)))
5.8b
(cbrt (/ x (+ x y)))
5.8b
(cbrt (/ x (+ x y)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
54×cbrt-prod
46×*-un-lft-identity
36×times-frac
28×add-sqr-sqrt add-cube-cbrt
12×pow1
9×pow1/3 log-pow distribute-lft-out
7×cbrt-div add-exp-log
6×associate-/r/
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×log-div flip3-+ flip-+ div-inv
2×rem-log-exp pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times log-prod pow-plus associate-*l/ prod-exp associate-*r/
Counts
4 → 111
Calls
4 calls:
37.0ms
(log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))))
9.0ms
(cbrt (/ x (+ x y)))
9.0ms
(cbrt (/ x (+ x y)))
9.0ms
(cbrt (/ x (+ x y)))

series674.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))))
190.0ms
(cbrt (/ x (+ x y)))
212.0ms
(cbrt (/ x (+ x y)))
173.0ms
(cbrt (/ x (+ x y)))

simplify1.7s

Counts
123 → 123
Iterations
IterNodes
done5000
44101
3924
2333
1178
0108

prune726.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes159.0ms

Accuracy

89.1% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 5.5b

bsearch131.0ms

Steps
ItersRangePoint
8
1.8707399870697887e-16
5.395425167639615e-14
5.349832006809411e-14
7
-3.1422350234624783e+87
-6.357458366051419e+85
-1.782408069109436e+86

simplify3.0ms

Iterations
IterNodes
done21
121
017

end0.0ms

sample3.4s

Algorithm
intervals
Results
992.0ms1487×body1280valid
966.0ms1478×body640valid
470.0ms4880×body80valid
283.0ms836×body320valid
150.0ms3085×body80nan
71.0ms459×body160valid