Details

Time bar (total: 15.9s)

sample41.0ms

Algorithm
intervals
Results
17.0ms257×body80valid
12.0ms245×body80nan

simplify1.0ms

Counts
1 → 1
Iterations
IterNodes
done4
14
03

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize6.0ms

Local error

Found 1 expressions with local error:

0.3b
(* x (log x))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×log-prod
5×*-un-lft-identity add-cube-cbrt
4×pow1 associate-*r*
3×distribute-rgt-in distribute-lft-in add-cbrt-cube associate-*l* add-exp-log
1×expm1-log1p-u pow-prod-down prod-exp log-pow *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 28
Calls
1 calls:
7.0ms
(* x (log x))

series285.0ms

Counts
1 → 3
Calls
1 calls:
285.0ms
(* x (log x))

simplify2.9s

Counts
31 → 31
Iterations
IterNodes
done5008
43307
3886
2253
1102
056

prune74.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (cbrt x)) (+ x x))
0.3b
(* (log (cbrt x)) x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
15×associate-*r*
14×add-cube-cbrt
10×pow1 associate-*l*
8×add-cbrt-cube add-exp-log
6×cbrt-prod
4×expm1-log1p-u pow1/3 log-pow insert-posit16 log1p-expm1-u add-log-exp
3×distribute-rgt-out distribute-lft-out
2×pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×distribute-rgt-in distribute-lft-in distribute-lft1-in flip3-+ count-2 distribute-rgt1-in flip-+
Counts
4 → 87
Calls
4 calls:
18.0ms
(* (log (cbrt x)) (+ x x))
11.0ms
(* (log (cbrt x)) x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.7s

Counts
4 → 12
Calls
4 calls:
778.0ms
(* (log (cbrt x)) (+ x x))
422.0ms
(* (log (cbrt x)) x)
257.0ms
(cbrt x)
224.0ms
(cbrt x)

simplify2.7s

Counts
99 → 99
Iterations
IterNodes
done5002
33304
2804
1249
0102

prune466.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (log (cbrt x)) (sqrt x))
0.4b
(* (* (log (cbrt x)) (sqrt x)) (sqrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×pow1 associate-*r*
11×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
7×sqrt-prod
6×cbrt-prod associate-*l*
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×log-pow *-commutative unswap-sqr
Counts
4 → 79
Calls
4 calls:
15.0ms
(* (log (cbrt x)) (sqrt x))
24.0ms
(* (* (log (cbrt x)) (sqrt x)) (sqrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series879.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(* (log (cbrt x)) (sqrt x))
267.0ms
(* (* (log (cbrt x)) (sqrt x)) (sqrt x))
239.0ms
(cbrt x)
281.0ms
(cbrt x)

simplify1.4s

Counts
91 → 91
Iterations
IterNodes
done5000
21201
1309
0122

prune471.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (cbrt x)) (sqrt (cbrt x)))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
38×sqrt-prod
27×cbrt-prod
19×pow1 *-un-lft-identity add-cube-cbrt
14×sqrt-pow1
11×swap-sqr
9×pow1/3 associate-*r* associate-*l* unswap-sqr
8×pow1/2
6×add-cbrt-cube add-exp-log pow-prod-up
4×expm1-log1p-u pow-prod-down pow-sqr insert-posit16 log1p-expm1-u add-log-exp
1×pow2 rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 111
Calls
4 calls:
29.0ms
(* (sqrt (cbrt x)) (sqrt (cbrt x)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
331.0ms
(* (sqrt (cbrt x)) (sqrt (cbrt x)))
281.0ms
(cbrt x)
265.0ms
(cbrt x)
288.0ms
(cbrt x)

simplify1.9s

Counts
123 → 123
Iterations
IterNodes
done5001
42000
3658
2330
1164
089

prune526.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes80.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done4
14
03

end0.0ms

sample1.1s

Algorithm
intervals
Results
544.0ms8041×body80valid
341.0ms7918×body80nan