Details

Time bar (total: 20.7s)

sample47.0ms

Algorithm
intervals
Results
20.0ms338×body80valid

simplify4.3s

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite50.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 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 → 56
Calls
2 calls:
9.0ms
(+ x (* (- y x) (/ z t)))
38.0ms
(* (- y x) (/ z t))

series114.0ms

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

simplify3.0s

Counts
62 → 62
Iterations
IterNodes
done5000
34950
21072
1318
0119

prune436.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ x (/ t z)))
1.4b
(fma (/ z t) y (- x (/ x (/ t z))))
3.4b
(/ x (/ t z))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
204×add-sqr-sqrt
197×*-un-lft-identity
195×add-cube-cbrt
132×prod-diff
17×div-inv
13×associate-/r*
8×add-cbrt-cube add-exp-log
5×add-log-exp
4×associate-/r/
3×expm1-log1p-u pow1 cbrt-undiv fma-neg div-exp log1p-expm1-u associate-/l* difference-of-squares
1×clear-num sub-neg frac-2neg flip3-- diff-log fma-udef flip-- distribute-lft-out--
Counts
3 → 235
Calls
3 calls:
36.0ms
(- x (/ x (/ t z)))
0.0ms
(fma (/ z t) y (- x (/ x (/ t z))))
8.0ms
(/ x (/ t z))

series150.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(- x (/ x (/ t z)))
56.0ms
(fma (/ z t) y (- x (/ x (/ t z))))
38.0ms
(/ x (/ t z))

simplify2.4s

Counts
244 → 244
Iterations
IterNodes
done5000
24956
11353
0501

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.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 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 → 192
Calls
4 calls:
44.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
26.0ms
(- (/ (* z y) t) (/ (* x z) t))
7.0ms
(/ (* x z) t)
7.0ms
(/ (* z y) t)

series194.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ x (- (/ (* z y) t) (/ (* x z) t)))
71.0ms
(- (/ (* z y) t) (/ (* x z) t))
32.0ms
(/ (* x z) t)
41.0ms
(/ (* z y) t)

simplify2.2s

Counts
204 → 204
Iterations
IterNodes
done5001
22101
1673
0261

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- y x) t)
8.2b
(fma (/ (- y x) t) z x)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l*
4×add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
3×associate-/r*
2×expm1-log1p-u pow1 log1p-expm1-u add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp fma-udef div-inv flip--
Counts
2 → 50
Calls
2 calls:
28.0ms
(/ (- y x) t)
1.0ms
(fma (/ (- y x) t) z x)

series108.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(/ (- y x) t)
72.0ms
(fma (/ (- y x) t) z x)

simplify1.9s

Counts
56 → 56
Iterations
IterNodes
done5000
31512
2446
1199
093

prune360.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes566.0ms

Accuracy

2.9% (2.0b remaining)

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

bsearch155.0ms

Steps
ItersRangePoint
9
-8.015230316116678e-235
-6.638878432570152e-242
-5.485219336659275e-236
7
-84463.33967257517
-806.1975761958196
-7160.27886158334

simplify8.0ms

Iterations
IterNodes
done27
127
024

end0.0ms

sample1.3s

Algorithm
intervals
Results
615.0ms10566×body80valid