Details

Time bar (total: 18.6s)

sample33.0ms

Algorithm
intervals
Results
15.0ms270×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5009
94334
83012
72159
61263
5559
4207
3103
258
125
012

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
41×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
15×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
4×add-cbrt-cube add-exp-log
2×expm1-log1p-u pow1 flip3-- associate-/r/ insert-posit16 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 → 72
Calls
2 calls:
52.0ms
(/ (- z y) (- (+ 1.0 t) z))
1.0ms
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

series228.0ms

Counts
2 → 6
Calls
2 calls:
84.0ms
(/ (- z y) (- (+ 1.0 t) z))
143.0ms
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

simplify2.4s

Counts
78 → 78
Iterations
IterNodes
done5002
33545
2844
1300
0124

prune409.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
41×add-sqr-sqrt
36×times-frac
25×add-cube-cbrt
16×distribute-lft-out--
12×associate-/r*
8×distribute-lft-out difference-of-squares
7×add-cbrt-cube add-exp-log
6×associate-/l*
4×associate-/r/
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
1×fma-udef
Counts
3 → 99
Calls
3 calls:
52.0ms
(/ y (- (+ 1.0 t) z))
45.0ms
(/ z (- (+ 1.0 t) z))
0.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (/ y (- (+ 1.0 t) z))) a x)

series317.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(/ y (- (+ 1.0 t) z))
62.0ms
(/ z (- (+ 1.0 t) z))
199.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (/ y (- (+ 1.0 t) z))) a x)

simplify2.1s

Counts
108 → 108
Iterations
IterNodes
done5004
33208
2983
1324
0155

prune670.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- (+ 1.0 t) z))
0.0b
(/ z (- (+ 1.0 t) z))
0.2b
(* y (/ 1 (- (+ 1.0 t) z)))
1.0b
(fma (- (/ z (- (+ 1.0 t) z)) (* y (/ 1 (- (+ 1.0 t) z)))) a x)

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
66×add-sqr-sqrt
56×times-frac
37×add-cube-cbrt
24×associate-*r*
22×distribute-lft-out--
19×add-exp-log
13×add-cbrt-cube
12×associate-/r*
11×distribute-lft-out difference-of-squares
7×pow1
6×associate-/r/ associate-/l*
5×div-exp
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-- associate-*l* div-inv flip-- unswap-sqr
2×rec-exp clear-num frac-2neg 1-exp cbrt-unprod
1×pow-prod-down associate-*r/ un-div-inv *-commutative fma-udef pow-flip inv-pow
Counts
4 → 153
Calls
4 calls:
49.0ms
(/ 1 (- (+ 1.0 t) z))
47.0ms
(/ z (- (+ 1.0 t) z))
139.0ms
(* y (/ 1 (- (+ 1.0 t) z)))
1.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (* y (/ 1 (- (+ 1.0 t) z)))) a x)

series319.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(/ 1 (- (+ 1.0 t) z))
61.0ms
(/ z (- (+ 1.0 t) z))
51.0ms
(* y (/ 1 (- (+ 1.0 t) z)))
158.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (* y (/ 1 (- (+ 1.0 t) z)))) a x)

simplify2.9s

Counts
165 → 165
Iterations
IterNodes
done5000
34224
21383
1455
0199

prune941.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ (- t z) 1.0) a)
8.2b
(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
236×*-un-lft-identity
200×times-frac
126×add-sqr-sqrt
86×add-cube-cbrt
44×distribute-lft-out
42×distribute-lft-out--
22×associate-/r*
20×difference-of-squares
10×associate-/l*
9×add-cbrt-cube add-exp-log
8×div-inv
4×cbrt-undiv div-exp associate-/l/
2×expm1-log1p-u pow1 clear-num frac-2neg div-sub insert-posit16 log1p-expm1-u add-log-exp
1×flip3-+ flip3-- associate-/r/ associate-+l- flip-+ flip--
Counts
2 → 181
Calls
2 calls:
102.0ms
(/ (+ (- t z) 1.0) a)
64.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

series317.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(/ (+ (- t z) 1.0) a)
251.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify1.7s

Counts
187 → 187
Iterations
IterNodes
done5001
22261
1703
0234

prune800.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes382.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8521×body80valid
0.0ms1×body320valid