Details

Time bar (total: 1.2m)

sample31.0ms

Algorithm
intervals
Results
18.0ms329×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
done5000
112823
101465
9888
8547
7333
6217
5165
4107
360
227
114
08

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
7.6b
(* (- y x) (/ z t))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×*-un-lft-identity associate-*r*
11×add-cube-cbrt
10×times-frac
7×add-cbrt-cube add-exp-log
5×associate-*l*
4×pow1 add-log-exp
3×fma-def
2×expm1-log1p-u frac-times flip3-- associate-*l/ prod-exp cbrt-unprod insert-posit16 log1p-expm1-u flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow-prod-down associate-*r/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 58
Calls
2 calls:
16.0ms
(+ x (* (- y x) (/ z t)))
65.0ms
(* (- y x) (/ z t))

series165.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(+ x (* (- y x) (/ z t)))
90.0ms
(* (- y x) (/ z t))

simplify3.2s

Counts
64 → 64
Iterations
IterNodes
done5000
34939
21078
1320
0121

prune300.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* z y) t) (/ (* x z) t))
0.0b
(+ x (- (/ (* z y) t) (/ (* x z) t)))
5.3b
(/ (* z y) t)
5.4b
(/ (* x z) t)

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
98×prod-diff
93×times-frac
74×*-un-lft-identity
69×add-sqr-sqrt
67×add-cube-cbrt
51×associate-+r+
33×div-inv
14×add-cbrt-cube add-exp-log
11×add-log-exp
7×fma-neg
6×associate-/r*
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u
3×fma-def
2×clear-num sum-log sub-neg frac-2neg diff-log prod-exp cbrt-unprod distribute-lft-out associate-/l* distribute-lft-out--
1×+-commutative associate-+r- flip3-+ flip3-- distribute-rgt-out-- frac-sub flip-+ flip-- sub-div difference-of-squares
Counts
4 → 196
Calls
4 calls:
40.0ms
(- (/ (* z y) t) (/ (* x z) t))
53.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
10.0ms
(/ (* z y) t)
15.0ms
(/ (* x z) t)

series186.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (/ (* z y) t) (/ (* x z) t))
59.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
22.0ms
(/ (* z y) t)
35.0ms
(/ (* x z) t)

simplify2.2s

Counts
208 → 208
Iterations
IterNodes
done5000
22130
1679
0265

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* z y) t) (/ x (/ t z)))
0.0b
(+ x (- (/ (* z y) t) (/ x (/ t z))))
5.3b
(/ x (/ t z))
5.3b
(/ (* z y) t)

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
1272×times-frac
726×add-sqr-sqrt
724×*-un-lft-identity
717×add-cube-cbrt
616×prod-diff
310×associate-+r+
151×div-inv
16×associate-/r*
15×associate-/r/
14×add-cbrt-cube add-exp-log
11×add-log-exp
7×fma-neg
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l*
3×fma-def difference-of-squares
2×clear-num sum-log sub-neg frac-2neg diff-log distribute-lft-out distribute-lft-out--
1×+-commutative associate-+r- flip3-+ flip3-- prod-exp frac-sub cbrt-unprod flip-+ flip--
Counts
4 → 763
Calls
4 calls:
67.0ms
(- (/ (* z y) t) (/ x (/ t z)))
190.0ms
(+ x (- (/ (* z y) t) (/ x (/ t z))))
16.0ms
(/ x (/ t z))
10.0ms
(/ (* z y) t)

series181.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(- (/ (* z y) t) (/ x (/ t z)))
63.0ms
(+ x (- (/ (* z y) t) (/ x (/ t z))))
26.0ms
(/ x (/ t z))
33.0ms
(/ (* z y) t)

simplify3.3s

Counts
775 → 775
Iterations
IterNodes
done5001
12474
01036

prune6.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ z (/ t y)) (/ x (/ t z)))
0.0b
(+ x (- (/ z (/ t y)) (/ x (/ t z))))
5.3b
(/ x (/ t z))
6.3b
(/ z (/ t y))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
11866×times-frac
6322×add-sqr-sqrt
6311×*-un-lft-identity
6286×add-cube-cbrt
3872×prod-diff
1938×associate-+r+
720×div-inv
179×associate-/r/
44×fma-neg
26×associate-/r*
14×add-cbrt-cube add-exp-log
11×add-log-exp
9×difference-of-squares
7×distribute-lft-out--
6×cbrt-undiv div-exp associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×fma-def
2×clear-num sum-log sub-neg frac-2neg diff-log distribute-lft-out
1×+-commutative associate-+r- flip3-+ flip3-- frac-sub flip-+ flip--
Counts
4 → 4116
Calls
4 calls:
192.0ms
(- (/ z (/ t y)) (/ x (/ t z)))
509.0ms
(+ x (- (/ z (/ t y)) (/ x (/ t z))))
16.0ms
(/ x (/ t z))
16.0ms
(/ z (/ t y))

series227.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (/ z (/ t y)) (/ x (/ t z)))
80.0ms
(+ x (- (/ z (/ t y)) (/ x (/ t z))))
49.0ms
(/ x (/ t z))
35.0ms
(/ z (/ t y))

simplify6.1s

Counts
4128 → 4128
Iterations
IterNodes
done5000
04399

prune40.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes414.0ms

Accuracy

3.7% (1.7b remaining)

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

bsearch2.0ms

simplify7.0ms

Iterations
IterNodes
done26
126
020

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10730×body80valid