Details

Time bar (total: 39.2s)

sample43.0ms

Algorithm
intervals
Results
11.0ms270×body80valid

simplify6.0s

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

prune48.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize48.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)

rewrite131.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:
118.0ms
(/ (- z y) (- (+ 1.0 t) z))
2.0ms
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

series311.0ms

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

simplify5.0s

Counts
78 → 78
Iterations
IterNodes
done5015
33514
2845
1300
0124

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize59.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)

rewrite152.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:
64.0ms
(/ y (- (+ 1.0 t) z))
71.0ms
(/ z (- (+ 1.0 t) z))
2.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (/ y (- (+ 1.0 t) z))) a x)

series469.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(/ y (- (+ 1.0 t) z))
86.0ms
(/ z (- (+ 1.0 t) z))
294.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (/ y (- (+ 1.0 t) z))) a x)

simplify5.1s

Counts
108 → 108
Iterations
IterNodes
done5001
33252
2984
1324
0155

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize49.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)

rewrite356.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:
79.0ms
(/ 1 (- (+ 1.0 t) z))
69.0ms
(/ z (- (+ 1.0 t) z))
185.0ms
(* y (/ 1 (- (+ 1.0 t) z)))
2.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (* y (/ 1 (- (+ 1.0 t) z)))) a x)

series583.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(/ 1 (- (+ 1.0 t) z))
94.0ms
(/ z (- (+ 1.0 t) z))
80.0ms
(* y (/ 1 (- (+ 1.0 t) z)))
337.0ms
(fma (- (/ z (- (+ 1.0 t) z)) (* y (/ 1 (- (+ 1.0 t) z)))) a x)

simplify6.2s

Counts
165 → 165
Iterations
IterNodes
done5001
34003
21312
1455
0199

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize30.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))

rewrite218.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:
100.0ms
(/ (+ (- t z) 1.0) a)
95.0ms
(/ (- y z) (/ (+ (- t z) 1.0) a))

series345.0ms

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

simplify3.4s

Counts
187 → 187
Iterations
IterNodes
done5001
22271
1703
0234

prune2.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes1.8s

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.7s

Algorithm
intervals
Results
616.0ms8521×body80valid
0.0ms1×body320valid