Details

Time bar (total: 27.4s)

sample35.0ms

Algorithm
intervals
Results
16.0ms316×body80valid

simplify165.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010205
115205
225205
341205
462205
579205
691205
7105205
8111205
9114205
done114205

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.2b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
5.9b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite458.0ms

Algorithm
rewrite-expression-head
Rules
1177×times-frac
1063×add-sqr-sqrt
1059×*-un-lft-identity
819×prod-diff
803×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
125×distribute-lft-out-- difference-of-squares
103×div-inv
78×associate-/r/
41×flip3-- flip--
13×fma-neg
10×associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×sub-neg associate-*l* associate-*r/
2×expm1-log1p-u frac-sub log1p-expm1-u
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 888
Calls
2 calls:
61.0ms
(- (/ y z) (/ t (- 1.0 z)))
266.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series132.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- (/ y z) (/ t (- 1.0 z)))
89.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify6.5s

Counts
894 → 894
Iterations

Useful iterations: done (6.3s)

IterNodesCost
0981787649
11689696852
24231622972
done5000622892

prune4.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize71.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (- 1.0 z)) t)
0.1b
(* (/ 1 (- 1.0 z)) t)
5.9b
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
27.7b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
45×associate-*l*
42×*-un-lft-identity
34×times-frac
26×add-cube-cbrt
24×add-exp-log
16×add-cbrt-cube
10×pow1 associate-*r*
9×prod-exp
7×unswap-sqr
6×distribute-lft-out-- difference-of-squares
5×cbrt-unprod
4×expm1-log1p-u div-exp associate-/r/ log1p-expm1-u add-log-exp
3×pow-prod-down *-commutative
2×cbrt-undiv rec-exp flip3-- 1-exp associate-*l/ associate-*r/ div-inv flip--
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+ fma-udef distribute-lft-out
Counts
4 → 125
Calls
4 calls:
34.0ms
(* (/ 1 (- 1.0 z)) t)
38.0ms
(* (/ 1 (- 1.0 z)) t)
17.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
1.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series309.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (/ 1 (- 1.0 z)) t)
34.0ms
(* (/ 1 (- 1.0 z)) t)
130.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
106.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify2.6s

Counts
137 → 137
Iterations

Useful iterations: done (2.6s)

IterNodesCost
017539288
144932103
2135728058
done500326760

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma y (/ 1 z) (- (/ t (- 1.0 z))))
0.1b
(* (/ 1 (- 1.0 z)) t)
5.9b
(* x (+ (fma y (/ 1 z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
27.7b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
25×*-un-lft-identity
24×associate-*l*
17×times-frac
16×add-cube-cbrt
15×add-exp-log
11×add-cbrt-cube
8×pow1
7×associate-*r*
5×prod-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-unprod distribute-lft-out-- difference-of-squares
2×div-exp pow-prod-down associate-*r/ associate-/r/ *-commutative fma-udef
1×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in flip3-+ flip3-- 1-exp associate-*l/ flip-+ div-inv flip-- distribute-lft-out
Counts
4 → 90
Calls
4 calls:
0.0ms
(fma y (/ 1 z) (- (/ t (- 1.0 z))))
31.0ms
(* (/ 1 (- 1.0 z)) t)
15.0ms
(* x (+ (fma y (/ 1 z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
0.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series410.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(fma y (/ 1 z) (- (/ t (- 1.0 z))))
52.0ms
(* (/ 1 (- 1.0 z)) t)
186.0ms
(* x (+ (fma y (/ 1 z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
100.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify3.0s

Counts
102 → 102
Iterations

Useful iterations: done (3.0s)

IterNodesCost
018932389
147128661
2150524168
done500023186

prune833.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- 1.0 z))
0.1b
(* (/ 1 (- 1.0 z)) t)
5.9b
(* x (+ (+ (/ y z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
27.7b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt *-un-lft-identity
32×times-frac
26×add-cube-cbrt
24×associate-*l*
19×add-exp-log
13×add-cbrt-cube
9×pow1 associate-*r*
7×distribute-lft-out-- difference-of-squares
5×associate-/r* prod-exp distribute-lft-out
4×expm1-log1p-u div-exp associate-/r/ log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-unprod associate-/l*
2×cbrt-undiv rec-exp flip3-- 1-exp pow-prod-down associate-*r/ *-commutative div-inv flip--
1×distribute-rgt-in clear-num distribute-rgt-neg-in frac-2neg distribute-lft-in flip3-+ associate-*l/ flip-+ fma-udef pow-flip inv-pow
Counts
4 → 125
Calls
4 calls:
11.0ms
(/ 1 (- 1.0 z))
51.0ms
(* (/ 1 (- 1.0 z)) t)
1.3s
(* x (+ (+ (/ y z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
0.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series362.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ 1 (- 1.0 z))
54.0ms
(* (/ 1 (- 1.0 z)) t)
167.0ms
(* x (+ (+ (/ y z) (- (/ t (- 1.0 z)))) (fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))))
104.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify2.5s

Counts
137 → 137
Iterations

Useful iterations: done (2.5s)

IterNodesCost
021439185
155831405
2186527700
done500127160

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes471.0ms

Accuracy

26.1% (3.5b remaining)

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

bsearch138.0ms

Steps
ItersRangePoint
9
8582026710.059715
8.722653903301618e+16
9547715461.595892
9
-3.6584672393923847e-96
-3.795188455732613e-105
-2.788516208276912e-97

simplify11.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
029963
147963
done47963

end0.0ms

sample1.1s

Algorithm
intervals
Results
684.0ms10116×body80valid