Details

Time bar (total: 20.3s)

sample53.0ms

Algorithm
intervals
Results
35.0ms287×body80valid

simplify794.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
8730
7300
6170
5118
488
360
238
119
010

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.1b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(- t (* a z))
0.0b
(- x (* y z))
10.1b
(/ (- x (* y z)) (- t (* a z)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
7×add-log-exp
6×fma-neg prod-diff
5×add-cbrt-cube add-exp-log
4×flip3-- flip--
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l*
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
Counts
3 → 77
Calls
3 calls:
8.0ms
(- t (* a z))
9.0ms
(- x (* y z))
25.0ms
(/ (- x (* y z)) (- t (* a z)))

series183.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(- t (* a z))
41.0ms
(- x (* y z))
98.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify555.0ms

Counts
86 → 86
Iterations
IterNodes
done2001
2972
1306
0123

prune467.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.9b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* a z))
0.0b
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
2.2b
(/ x (- t (* a z)))
11.9b
(/ (* y z) (- t (* a z)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
148×times-frac
138×prod-diff
121×add-sqr-sqrt
118×*-un-lft-identity
116×add-cube-cbrt
58×associate-/r/
31×flip3-- flip--
29×div-inv
18×fma-neg
11×add-cbrt-cube add-exp-log
8×add-log-exp
6×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l*
3×cbrt-undiv distribute-rgt-out-- div-exp
2×clear-num sub-neg frac-2neg diff-log difference-of-squares
1×prod-exp frac-sub cbrt-unprod distribute-lft-out-- sub-div
Counts
4 → 252
Calls
4 calls:
8.0ms
(- t (* a z))
60.0ms
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
7.0ms
(/ x (- t (* a z)))
17.0ms
(/ (* y z) (- t (* a z)))

series334.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- t (* a z))
133.0ms
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
68.0ms
(/ x (- t (* a z)))
79.0ms
(/ (* y z) (- t (* a z)))

simplify644.0ms

Counts
264 → 264
Iterations
IterNodes
done2001
1787
0331

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 5.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
2.0b
(/ y (/ (- t (* a z)) z))
2.2b
(/ x (- t (* a z)))
6.8b
(/ (- t (* a z)) z)

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
1499×times-frac
923×add-sqr-sqrt
908×*-un-lft-identity
902×add-cube-cbrt
660×prod-diff
112×div-inv
108×associate-/r/
48×flip3-- flip--
19×associate-/r*
15×fma-neg
13×add-cbrt-cube add-exp-log
9×associate-/l*
6×add-log-exp difference-of-squares
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg
2×distribute-lft-out-- associate-/l/
1×sub-neg diff-log div-sub frac-sub
Counts
4 → 837
Calls
4 calls:
47.0ms
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
9.0ms
(/ y (/ (- t (* a z)) z))
8.0ms
(/ x (- t (* a z)))
26.0ms
(/ (- t (* a z)) z)

series351.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
86.0ms
(/ y (/ (- t (* a z)) z))
55.0ms
(/ x (- t (* a z)))
57.0ms
(/ (- t (* a z)) z)

simplify1.3s

Counts
849 → 849
Iterations
IterNodes
done2000
01092

prune6.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* a z))
0.0b
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
2.0b
(/ y (- (/ t z) a))
2.2b
(/ x (- t (* a z)))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
607×add-sqr-sqrt
579×times-frac
459×*-un-lft-identity
363×prod-diff
350×add-cube-cbrt
102×difference-of-squares
84×associate-/r/
53×distribute-lft-out--
44×flip3-- flip--
42×div-inv
18×fma-neg
9×associate-/r*
8×add-cbrt-cube add-exp-log add-log-exp
6×associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp
1×frac-sub
Counts
4 → 495
Calls
4 calls:
9.0ms
(- t (* a z))
84.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
23.0ms
(/ y (- (/ t z) a))
13.0ms
(/ x (- t (* a z)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- t (* a z))
130.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
69.0ms
(/ y (- (/ t z) a))
51.0ms
(/ x (- t (* a z)))

simplify1.0s

Counts
507 → 507
Iterations
IterNodes
done2000
11371
0603

prune3.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

regimes368.0ms

Accuracy

0% (1.5b remaining)

Error of 2.9b against oracle of 1.4b and baseline of 2.9b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
012

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8720×body80valid