Details

Time bar (total: 16.9s)

sample41.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify3.8s

Counts
1 → 1
Iterations
IterNodes
done5001
64350
52090
4637
3201
279
133
016

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.7b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.1b
(+ (* (+ x y) z) (* (+ t y) a))
3.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
24.9b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
20×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-cbrt-cube add-exp-log
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u
3×fma-neg associate-*r* prod-diff associate-/l*
2×sum-log flip3-- diff-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg fma-def frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 105
Calls
4 calls:
29.0ms
(* (+ x y) z)
12.0ms
(+ (* (+ x y) z) (* (+ t y) a))
97.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
168.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series950.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (+ x y) z)
54.0ms
(+ (* (+ x y) z) (* (+ t y) a))
132.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
731.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify1.4s

Counts
117 → 117
Iterations
IterNodes
done5001
22805
1582
0195

prune861.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ x (+ y t)))
0.5b
(fma (+ y t) a (* (+ y x) z))
3.4b
(* (/ y (+ x (+ y t))) b)
21.3b
(/ (fma (+ y t) a (* (+ y x) z)) (+ x (+ y t)))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*l*
13×add-cbrt-cube add-exp-log
10×associate-/r*
6×pow1 associate-/r/ associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-+ div-exp associate-*r* flip-+ div-inv
2×clear-num frac-2neg prod-exp cbrt-unprod unswap-sqr
1×pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 130
Calls
4 calls:
44.0ms
(/ y (+ x (+ y t)))
0.0ms
(fma (+ y t) a (* (+ y x) z))
59.0ms
(* (/ y (+ x (+ y t))) b)
35.0ms
(/ (fma (+ y t) a (* (+ y x) z)) (+ x (+ y t)))

series563.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(/ y (+ x (+ y t)))
57.0ms
(fma (+ y t) a (* (+ y x) z))
169.0ms
(* (/ y (+ x (+ y t))) b)
262.0ms
(/ (fma (+ y t) a (* (+ y x) z)) (+ x (+ y t)))

simplify654.0ms

Counts
142 → 142
Iterations
IterNodes
done5001
21537
1375
0162

prune916.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.6b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
31×times-frac
30×add-sqr-sqrt
25×add-cube-cbrt
23×distribute-lft-out
21×associate-*l*
10×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 associate-/r*
4×fma-neg prod-diff associate-/r/
3×expm1-log1p-u flip3-+ associate-*r* associate-*l/ flip-+ log1p-expm1-u associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp frac-sub cbrt-unprod div-inv unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- pow-prod-down associate--l+ *-commutative flip--
Counts
3 → 107
Calls
3 calls:
55.0ms
(- (+ a z) (* (/ y (+ x (+ y t))) b))
35.0ms
(/ y (+ x (+ y t)))
82.0ms
(* (/ y (+ x (+ y t))) b)

series351.0ms

Counts
3 → 9
Calls
3 calls:
78.0ms
(- (+ a z) (* (/ y (+ x (+ y t))) b))
89.0ms
(/ y (+ x (+ y t)))
184.0ms
(* (/ y (+ x (+ y t))) b)

simplify1.0s

Counts
116 → 116
Iterations
IterNodes
done5002
22109
1465
0167

prune735.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 2.6b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ t (+ y x)))
0.1b
(fma (/ y (+ t (+ y x))) (- b) (pow (cbrt (+ z a)) 3))
0.5b
(cbrt (+ z a))
0.7b
(pow (cbrt (+ z a)) 3)

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
20×add-sqr-sqrt add-cube-cbrt
15×times-frac distribute-lft-out
12×cbrt-prod
7×unpow-prod-down cube-prod add-exp-log
6×add-cbrt-cube
5×pow1 associate-/r*
4×expm1-log1p-u cbrt-div log1p-expm1-u add-log-exp
3×pow-unpow flip3-+ flip-+ associate-/l*
2×cube-div pow-pow pow1/3 associate-/r/
1×cube-mult pow-to-exp cbrt-undiv clear-num frac-2neg unpow3 div-exp pow-exp fma-udef div-inv rem-cube-cbrt sqr-pow
Counts
4 → 101
Calls
4 calls:
54.0ms
(/ y (+ t (+ y x)))
1.0ms
(fma (/ y (+ t (+ y x))) (- b) (pow (cbrt (+ z a)) 3))
6.0ms
(cbrt (+ z a))
16.0ms
(pow (cbrt (+ z a)) 3)

series604.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(/ y (+ t (+ y x)))
196.0ms
(fma (/ y (+ t (+ y x))) (- b) (pow (cbrt (+ z a)) 3))
165.0ms
(cbrt (+ z a))
149.0ms
(pow (cbrt (+ z a)) 3)

simplify1.1s

Counts
113 → 113
Iterations
IterNodes
done5000
21820
1461
0168

prune737.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 2.6b

regimes1.0s

Accuracy

29.1% (11.8b remaining)

Error of 14.7b against oracle of 2.9b and baseline of 19.5b

bsearch229.0ms

Steps
ItersRangePoint
9
1.0148592896668579e+101
3.5641396659162224e+108
3.0520205159031867e+101
6
1.3754484980528106e-09
7.42116589675916e-09
1.3937491865322475e-09
10
1.946875050446464e-159
3.359912201599799e-149
6.96915892234533e-157
9
-1.738483815589496e+49
-1.6593527819979362e+44
-2.0250996617895607e+48

simplify4.0ms

Iterations
IterNodes
done48
148
037

end0.0ms

sample937.0ms

Algorithm
intervals
Results
659.0ms7994×body80valid
0.0ms1×body2560valid
0.0ms3×body160valid
0.0ms1×body1280valid
0.0ms1×body640valid