Details

Time bar (total: 16.9s)

sample24.0ms

Algorithm
intervals
Results
9.0ms297×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5001
81908
7651
6240
5102
473
344
222
111
06

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 1 expressions with local error:

3.7b
(fma (- x) (/ z y) x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (- x) (/ z y) x)

series68.0ms

Counts
1 → 3
Calls
1 calls:
68.0ms
(fma (- x) (/ z y) x)

simplify1.1s

Counts
13 → 13
Iterations
IterNodes
done5001
41009
3190
262
131
019

prune78.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma (- x) (/ z y) x))
3.7b
(fma (- x) (/ z y) x)
3.7b
(fma (- x) (/ z y) x)
3.7b
(fma (- x) (/ z y) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×cbrt-prod fma-udef
1×pow1/3
Counts
4 → 43
Calls
4 calls:
1.0ms
(cbrt (fma (- x) (/ z y) x))
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)

series330.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt (fma (- x) (/ z y) x))
44.0ms
(fma (- x) (/ z y) x)
62.0ms
(fma (- x) (/ z y) x)
40.0ms
(fma (- x) (/ z y) x)

simplify786.0ms

Counts
55 → 55
Iterations
IterNodes
done5000
31241
2260
1108
056

prune420.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

3.7b
(fma (- x) (/ z y) x)
6.1b
(fma (/ x y) (- z) x)
6.1b
(fma (/ x y) (- z) x)
6.1b
(fma (/ x y) (- z) x)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
1.0ms
(fma (- x) (/ z y) x)
1.0ms
(fma (/ x y) (- z) x)
1.0ms
(fma (/ x y) (- z) x)
1.0ms
(fma (/ x y) (- z) x)

series235.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(fma (- x) (/ z y) x)
59.0ms
(fma (/ x y) (- z) x)
66.0ms
(fma (/ x y) (- z) x)
58.0ms
(fma (/ x y) (- z) x)

simplify4.5s

Counts
52 → 52
Iterations
IterNodes
done5000
44171
3431
2114
151
032

prune493.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ (- (/ z (/ y x))) x))
3.7b
(fma (- x) (/ z y) x)
3.7b
(fma (- x) (/ z y) x)
7.7b
(/ z (/ y x))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
52×*-un-lft-identity
47×add-sqr-sqrt add-cube-cbrt
13×associate-/r*
9×add-cbrt-cube add-exp-log
7×cbrt-prod
5×div-inv
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-/r/ associate-/l*
2×distribute-lft-neg-in cbrt-div fma-udef distribute-lft-out
1×clear-num distribute-rgt-neg-in frac-2neg distribute-lft1-in flip3-+ distribute-rgt-out pow1/3 flip-+
Counts
4 → 111
Calls
4 calls:
90.0ms
(cbrt (+ (- (/ z (/ y x))) x))
0.0ms
(fma (- x) (/ z y) x)
0.0ms
(fma (- x) (/ z y) x)
7.0ms
(/ z (/ y x))

series307.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(cbrt (+ (- (/ z (/ y x))) x))
39.0ms
(fma (- x) (/ z y) x)
39.0ms
(fma (- x) (/ z y) x)
33.0ms
(/ z (/ y x))

simplify1.1s

Counts
123 → 123
Iterations
IterNodes
done5000
22200
1530
0221

prune847.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes401.0ms

Accuracy

88% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 3.2b

bsearch1.0ms

simplify3.7s

Iterations
IterNodes
done5000
154917
142029
131301
12573
11385
10197
9144
891
771
656
543
437
334
228
125
021

end0.0ms

sample869.0ms

Algorithm
intervals
Results
413.0ms9610×body80valid