Details

Time bar (total: 41.0s)

sample42.0ms

Algorithm
intervals
Results
15.0ms323×body80valid

simplify8.2s

Counts
1 → 1
Iterations
IterNodes
done5000
264790
254598
244368
234175
223940
213748
203507
193315
183080
172887
162638
152436
142190
131989
121738
111529
101276
91121
8805
7394
6210
5172
4132
391
246
119
08

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 1 expressions with local error:

0.1b
(* x (fma 0.12 x 0.253))

rewrite11.0ms

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

series130.0ms

Counts
1 → 3
Calls
1 calls:
130.0ms
(* x (fma 0.12 x 0.253))

simplify3.2s

Counts
26 → 26
Iterations
IterNodes
done5000
3996
2229
188
044

prune310.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (fma 0.12 x 0.253)))
0.8b
(cbrt (fma 0.12 x 0.253))
0.8b
(cbrt (fma 0.12 x 0.253))
0.8b
(cbrt (fma 0.12 x 0.253))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log
12×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×add-cbrt-cube
6×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×associate-*l* *-commutative
Counts
4 → 69
Calls
4 calls:
126.0ms
(* (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (fma 0.12 x 0.253)))
3.0ms
(cbrt (fma 0.12 x 0.253))
2.0ms
(cbrt (fma 0.12 x 0.253))
2.0ms
(cbrt (fma 0.12 x 0.253))

series776.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (fma 0.12 x 0.253)))
211.0ms
(cbrt (fma 0.12 x 0.253))
266.0ms
(cbrt (fma 0.12 x 0.253))
189.0ms
(cbrt (fma 0.12 x 0.253))

simplify7.4s

Counts
81 → 81
Iterations
IterNodes
done5001
34010
21034
1309
0122

prune894.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt x) (cbrt x))
0.7b
(cbrt x)
0.7b
(cbrt x)
0.7b
(cbrt x)

rewrite55.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×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u 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 → 85
Calls
4 calls:
36.0ms
(* (cbrt x) (cbrt x))
3.0ms
(cbrt x)
3.0ms
(cbrt x)
4.0ms
(cbrt x)

series1.5s

Counts
4 → 12
Calls
4 calls:
378.0ms
(* (cbrt x) (cbrt x))
370.0ms
(cbrt x)
354.0ms
(cbrt x)
358.0ms
(cbrt x)

simplify9.5s

Counts
97 → 97
Iterations
IterNodes
done5006
44197
31088
2378
1142
067

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize149.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt x)
0.7b
(cbrt x)
0.7b
(cbrt x)
0.7b
(cbrt x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 56
Calls
4 calls:
3.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)

series1.4s

Counts
4 → 12
Calls
4 calls:
304.0ms
(cbrt x)
312.0ms
(cbrt x)
402.0ms
(cbrt x)
388.0ms
(cbrt x)

simplify4.4s

Counts
68 → 68
Iterations
IterNodes
done5000
51244
4406
3186
297
147
027

prune759.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes132.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample787.0ms

Algorithm
intervals
Results
498.0ms10672×body80valid