Details

Time bar (total: 14.2s)

sample38.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
8.0ms256×pre80true

simplify4.8s

Counts
1 → 1
Iterations
IterNodes
done5004
71738
6803
5457
4220
3107
250
123
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.9b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x x (* y y))
17.9b
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-cbrt-cube add-exp-log
4×add-sqr-sqrt frac-times *-un-lft-identity add-cube-cbrt
3×associate-/r* flip3-+ times-frac flip3-- flip-+ flip--
2×expm1-log1p-u pow1 cbrt-undiv div-exp associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
1×clear-num frac-2neg prod-exp cbrt-unprod fma-udef div-inv associate-/l*
Counts
2 → 43
Calls
2 calls:
0.0ms
(fma x x (* y y))
32.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

series145.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(fma x x (* y y))
99.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

simplify1.2s

Counts
49 → 49
Iterations
IterNodes
done5000
21109
1250
084

prune202.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x x (* y y))
0.0b
(/ (- x y) (/ (fma x x (* y y)) (+ y x)))
18.1b
(/ (fma x x (* y y)) (+ y x))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
174×times-frac
161×*-un-lft-identity
117×add-sqr-sqrt
79×add-cube-cbrt
22×associate-/r* distribute-lft-out
19×distribute-lft-out-- difference-of-squares
15×associate-/r/
10×add-cbrt-cube add-exp-log
8×div-inv associate-/l*
7×flip3-+ flip-+
4×cbrt-undiv div-exp
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-/l/
1×flip3-- div-sub fma-udef flip--
Counts
3 → 181
Calls
3 calls:
0.0ms
(fma x x (* y y))
29.0ms
(/ (- x y) (/ (fma x x (* y y)) (+ y x)))
13.0ms
(/ (fma x x (* y y)) (+ y x))

series269.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(fma x x (* y y))
124.0ms
(/ (- x y) (/ (fma x x (* y y)) (+ y x)))
79.0ms
(/ (fma x x (* y y)) (+ y x))

simplify2.3s

Counts
190 → 190
Iterations
IterNodes
done5012
22349
1713
0242

prune784.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize59.0ms

Local error

Found 4 expressions with local error:

18.6b
(cbrt (fma x x (* y y)))
18.6b
(cbrt (fma x x (* y y)))
18.6b
(cbrt (fma x x (* y y)))
18.8b
(/ (* (- x y) (+ y x)) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y)))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
12×add-cbrt-cube
9×cbrt-prod
8×associate-/l/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u frac-times pow1 cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×flip3-+ flip3-- pow1/3 flip-+ flip--
2×associate-*l/ associate-*r/
1×clear-num associate-/r* frac-2neg times-frac div-inv associate-/l*
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt (fma x x (* y y)))
1.0ms
(cbrt (fma x x (* y y)))
1.0ms
(cbrt (fma x x (* y y)))
27.0ms
(/ (* (- x y) (+ y x)) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y)))))

series817.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(cbrt (fma x x (* y y)))
163.0ms
(cbrt (fma x x (* y y)))
159.0ms
(cbrt (fma x x (* y y)))
331.0ms
(/ (* (- x y) (+ y x)) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y)))))

simplify1.5s

Counts
86 → 86
Iterations
IterNodes
done5005
21463
1355
0117

prune485.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.3b

regimes105.0ms

Accuracy

77.3% (4.4b remaining)

Error of 4.9b against oracle of 0.5b and baseline of 20.1b

bsearch160.0ms

Steps
ItersRangePoint
8
4.11345058662494e-165
1.7020681544470525e-162
1.5708400865028228e-162
6
-1.9200771764723128e-160
-2.13457590843716e-161
-1.1638085591132404e-160
10
-2.8560409620991146e+162
-9.907787135739815e+151
-1.3341061642710286e+154

simplify6.0ms

Iterations
IterNodes
done26
126
019

end0.0ms

sample1.2s

Algorithm
intervals
Results
700.0ms8000×body80valid
301.0ms8000×pre80true