Details

Time bar (total: 20.6s)

sample37.0ms

Algorithm
intervals
Results
10.0ms255×body80valid
7.0ms13×body320valid
3.0ms20×body640valid
1.0ms7×body1280valid
0.0ms6×body160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5005
62502
5895
4343
3126
246
123
011

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.5b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- t x) (- a z))
14.7b
(fma (- y z) (/ (- t x) (- a z)) x)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt *-un-lft-identity
25×times-frac
14×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-/l*
4×add-cbrt-cube add-exp-log
2×expm1-log1p-u pow1 flip3-- associate-/r/ log1p-expm1-u flip-- add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp fma-udef div-inv
Counts
2 → 64
Calls
2 calls:
36.0ms
(/ (- t x) (- a z))
1.0ms
(fma (- y z) (/ (- t x) (- a z)) x)

series199.0ms

Counts
2 → 6
Calls
2 calls:
86.0ms
(/ (- t x) (- a z))
113.0ms
(fma (- y z) (/ (- t x) (- a z)) x)

simplify2.0s

Counts
70 → 70
Iterations
IterNodes
done5001
32173
2663
1274
0118

prune460.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.5b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a z) (- t x))
0.4b
(/ 1 (/ (- a z) (- t x)))
14.7b
(fma (- y z) (/ 1 (/ (- a z) (- t x))) x)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
195×add-sqr-sqrt *-un-lft-identity
91×add-cube-cbrt
52×distribute-lft-out-- difference-of-squares
36×associate-/r*
16×add-exp-log
11×associate-/r/
10×add-cbrt-cube
8×div-exp associate-/l*
6×flip3-- div-inv flip--
4×pow1 cbrt-undiv
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp associate-/l/
1×div-sub fma-udef pow-flip inv-pow
Counts
3 → 214
Calls
3 calls:
19.0ms
(/ (- a z) (- t x))
32.0ms
(/ 1 (/ (- a z) (- t x)))
1.0ms
(fma (- y z) (/ 1 (/ (- a z) (- t x))) x)

series512.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(/ (- a z) (- t x))
241.0ms
(/ 1 (/ (- a z) (- t x)))
200.0ms
(fma (- y z) (/ 1 (/ (- a z) (- t x))) x)

simplify1.9s

Counts
223 → 223
Iterations
IterNodes
done5001
22260
1708
0274

prune984.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.1b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a z) (- t x))
3.7b
(+ (/ (- y z) (/ (- a z) (- t x))) x)
5.0b
(/ (- y z) (/ (- a z) (- t x)))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
610×times-frac
572×*-un-lft-identity
570×add-sqr-sqrt
200×add-cube-cbrt
185×distribute-lft-out-- difference-of-squares
160×fma-def
36×associate-/r*
26×associate-/r/
14×flip3-- div-inv flip--
10×add-cbrt-cube add-exp-log associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×expm1-log1p-u pow1 div-sub log1p-expm1-u
2×clear-num frac-2neg
1×+-commutative sum-log flip3-+ associate-+l- flip-+ distribute-lft-out
Counts
3 → 440
Calls
3 calls:
38.0ms
(/ (- a z) (- t x))
194.0ms
(+ (/ (- y z) (/ (- a z) (- t x))) x)
31.0ms
(/ (- y z) (/ (- a z) (- t x)))

series821.0ms

Counts
3 → 9
Calls
3 calls:
94.0ms
(/ (- a z) (- t x))
281.0ms
(+ (/ (- y z) (/ (- a z) (- t x))) x)
446.0ms
(/ (- y z) (/ (- a z) (- t x)))

simplify1.9s

Counts
449 → 449
Iterations
IterNodes
done5005
23564
11149
0358

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.6b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- y z) (- a z))
4.5b
(fma (/ (- y z) (- a z)) (- t x) x)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt *-un-lft-identity
25×times-frac
14×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-/l*
4×add-cbrt-cube add-exp-log
2×expm1-log1p-u pow1 flip3-- associate-/r/ log1p-expm1-u flip-- add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp fma-udef div-inv
Counts
2 → 64
Calls
2 calls:
37.0ms
(/ (- y z) (- a z))
1.0ms
(fma (/ (- y z) (- a z)) (- t x) x)

series294.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(/ (- y z) (- a z))
223.0ms
(fma (/ (- y z) (- a z)) (- t x) x)

simplify1.8s

Counts
70 → 70
Iterations
IterNodes
done5001
32166
2677
1271
0116

prune462.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.6b

regimes824.0ms

Accuracy

28.7% (5.9b remaining)

Error of 9.2b against oracle of 3.3b and baseline of 11.6b

bsearch154.0ms

Steps
ItersRangePoint
11
5.1631975674819804e-138
5.42072859804174e-111
6.7132731075641235e-136
8
-1.6522177722814347e-125
-5.998325240897579e-128
-3.0582848762601583e-127

simplify4.0ms

Iterations
IterNodes
done25
125
021

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s7882×body80valid
122.0ms484×body640valid
116.0ms425×body320valid
104.0ms270×body1280valid
29.0ms230×body160valid
5.0ms13×body2560valid