Details

Time bar (total: 24.8s)

sample51.0ms

Algorithm
intervals
Results
17.0ms278×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010205
119205
238205
360205
488205
5118205
6170205
7300205
8730205
93430205
done5062205

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.2b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.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* 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 → 74
Calls
3 calls:
7.0ms
(- x (* y z))
8.0ms
(- t (* a z))
15.0ms
(/ (- x (* y z)) (- t (* a z)))

series189.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(- x (* y z))
48.0ms
(- t (* a z))
104.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify2.5s

Counts
83 → 83
Iterations

Useful iterations: done (2.5s)

IterNodesCost
012020245
130419004
297518397
3343418397
done500118012

prune428.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.9b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×add-cbrt-cube add-exp-log
8×add-log-exp
6×associate-/r* fma-neg prod-diff
4×expm1-log1p-u pow1 flip3-- associate-/r/ log1p-expm1-u flip-- associate-/l*
3×cbrt-undiv div-exp
2×clear-num sub-neg frac-2neg diff-log div-inv
1×prod-exp cbrt-unprod
Counts
4 → 96
Calls
4 calls:
5.0ms
(- t (* a z))
4.0ms
(- t (* a z))
7.0ms
(/ x (- t (* a z)))
10.0ms
(/ (* y z) (- t (* a z)))

series173.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- t (* a z))
44.0ms
(- t (* a z))
44.0ms
(/ x (- t (* a z)))
51.0ms
(/ (* y z) (- t (* a z)))

simplify3.3s

Counts
108 → 108
Iterations

Useful iterations: done (3.3s)

IterNodesCost
012722967
130021238
2107920616
3472620456
done500020406

prune791.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.2b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

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

series224.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- t (* a z))
80.0ms
(/ y (/ (- t (* a z)) z))
49.0ms
(/ x (- t (* a z)))
50.0ms
(/ (- t (* a z)) z)

simplify2.7s

Counts
167 → 167
Iterations

Useful iterations: done (2.7s)

IterNodesCost
023848885
157946065
2186144999
done500242797

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.4b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite224.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 log1p-expm1-u
2×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp
1×frac-sub
Counts
4 → 491
Calls
4 calls:
126.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
4.0ms
(- t (* a z))
28.0ms
(/ y (- (/ t z) a))
7.0ms
(/ x (- t (* a z)))

series295.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
49.0ms
(- t (* a z))
52.0ms
(/ y (- (/ t z) a))
54.0ms
(/ x (- t (* a z)))

simplify3.7s

Counts
503 → 503
Iterations

Useful iterations: 2 (2.1s)

IterNodesCost
0599436293
11367392178
23473361034
done5000361034

prune4.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.3b

regimes650.0ms

Accuracy

39.4% (1.0b remaining)

Error of 2.4b against oracle of 1.5b and baseline of 3.0b

bsearch106.0ms

Steps
ItersRangePoint
4
5.519604861661425e-120
8.220485397079747e-120
6.637318488869212e-120
8
-2.8225552725181653e-257
-8.412728042834542e-262
-7.433845130127019e-258

simplify20.0ms

Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0291068
1371068
done371068

end0.0ms

sample1.0s

Algorithm
intervals
Results
556.0ms8661×body80valid