Details

Time bar (total: 10.1s)

sample39.0ms

Algorithm
intervals
Results
24.0ms314×body80valid

simplify202.0ms

Counts
1 → 1
Iterations
IterNodes
done303
12303
11300
10291
9274
8234
7211
6133
570
439
328
219
112
06

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ (- y x) z))
0.0b
(/ (- y x) z)

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
21×add-sqr-sqrt
15×times-frac
13×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- add-log-exp difference-of-squares
3×associate-/r* fma-def
2×expm1-log1p-u pow1 div-sub insert-posit16 log1p-expm1-u associate-/l/
1×cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- distribute-lft-out
Counts
2 → 60
Calls
2 calls:
24.0ms
(+ x (/ (- y x) z))
28.0ms
(/ (- y x) z)

series111.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(+ x (/ (- y x) z))
70.0ms
(/ (- y x) z)

simplify2.3s

Counts
66 → 66
Iterations
IterNodes
done5018
32612
2702
1241
0100

prune213.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (- y x) z) x)
0.0b
(/ (- y x) z)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
35×add-sqr-sqrt
30×times-frac
21×add-cube-cbrt
19×fma-def
7×distribute-lft-out-- difference-of-squares
5×associate-/l*
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r*
2×expm1-log1p-u pow1 div-sub insert-posit16 log1p-expm1-u div-inv associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-+ flip3-- div-exp associate-+l- flip-+ flip-- distribute-lft-out
Counts
2 → 76
Calls
2 calls:
40.0ms
(+ (/ (- y x) z) x)
24.0ms
(/ (- y x) z)

series59.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(+ (/ (- y x) z) x)
35.0ms
(/ (- y x) z)

simplify2.2s

Counts
82 → 82
Iterations
IterNodes
done5000
33793
2689
1241
0101

prune329.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x (/ y z)) (/ x z))
0.0b
(+ x (/ y z))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
52×prod-diff
50×add-sqr-sqrt
45×add-cube-cbrt
37×times-frac
16×distribute-lft-out
9×add-log-exp
4×fma-neg div-inv
3×fma-def
2×expm1-log1p-u pow1 sum-log flip3-+ add-cbrt-cube diff-log add-exp-log frac-sub flip-+ insert-posit16 log1p-expm1-u distribute-lft-out-- difference-of-squares
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
2 → 97
Calls
2 calls:
59.0ms
(- (+ x (/ y z)) (/ x z))
7.0ms
(+ x (/ y z))

series54.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(- (+ x (/ y z)) (/ x z))
28.0ms
(+ x (/ y z))

simplify1.4s

Counts
103 → 103
Iterations
IterNodes
done5001
21380
1467
0183

prune304.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.4b
(fma (- y x) (/ 1 z) x)

rewrite0.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 insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
0.0ms
(fma (- y x) (/ 1 z) x)

series32.0ms

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

simplify1.5s

Counts
14 → 14
Iterations
IterNodes
done5004
41233
3265
275
136
022

prune43.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes85.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample859.0ms

Algorithm
intervals
Results
546.0ms10165×body80valid