Details

Time bar (total: 17.8s)

sample77.0ms

Algorithm
intervals
Results
36.0ms539×body80valid

simplify6.0s

Counts
1 → 1
Iterations

Useful iterations: 5 (2.5s)

IterNodesCost
02831
16729
221827
372227
4190527
5309126
6422426
done500126

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
7.0ms
(* (* x 18.0) y)
6.0ms
(* (* j 27.0) k)
23.0ms
(* (* (* x 18.0) y) z)
79.0ms
(* (* (* (* x 18.0) y) z) t)

series123.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* x 18.0) y)
20.0ms
(* (* j 27.0) k)
32.0ms
(* (* (* x 18.0) y) z)
49.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.2s

Counts
101 → 101
Iterations

Useful iterations: 2 (270.0ms)

IterNodesCost
0145974
1366944
21796738
done5001738

prune377.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* j (* 27.0 k))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
6.0ms
(* (* x 18.0) y)
6.0ms
(* j (* 27.0 k))
20.0ms
(* (* (* x 18.0) y) z)
75.0ms
(* (* (* (* x 18.0) y) z) t)

series114.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (* x 18.0) y)
18.0ms
(* j (* 27.0 k))
26.0ms
(* (* (* x 18.0) y) z)
48.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.1s

Counts
101 → 101
Iterations

Useful iterations: 2 (262.0ms)

IterNodesCost
0143971
1358943
21711737
done5000737

prune411.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* 27.0 (* k j))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
6.0ms
(* (* x 18.0) y)
6.0ms
(* 27.0 (* k j))
21.0ms
(* (* (* x 18.0) y) z)
78.0ms
(* (* (* (* x 18.0) y) z) t)

series132.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (* x 18.0) y)
22.0ms
(* 27.0 (* k j))
29.0ms
(* (* (* x 18.0) y) z)
53.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: 2 (260.0ms)

IterNodesCost
0141971
1354943
21700737
done5000737

prune427.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
0.3b
(* (sqrt 27.0) (* k j))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
41×pow1 add-exp-log add-cbrt-cube
25×pow-prod-down prod-exp cbrt-unprod
14×associate-*l*
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×sqrt-prod
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 98
Calls
4 calls:
19.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
10.0ms
(* (sqrt 27.0) (* k j))
21.0ms
(* (* (* x 18.0) y) z)
79.0ms
(* (* (* (* x 18.0) y) z) t)

series218.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
45.0ms
(* (sqrt 27.0) (* k j))
35.0ms
(* (* (* x 18.0) y) z)
48.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.1s

Counts
110 → 110
Iterations

Useful iterations: 2 (214.0ms)

IterNodesCost
01541208
14021050
21756828
done5001828

prune469.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes1.3s

Accuracy

-11.4% (5.6b remaining)

Error of 5.7b against oracle of 0.2b and baseline of 5.1b

bsearch927.0ms

Steps
ItersRangePoint
8
9.519653545817431e+22
2.854975354716104e+26
1.7946900526051252e+23
8
2.1242874877976994e-40
1.7945012758708918e-36
7.832862067016947e-40
0
-0.0
2.4736045721775e-314
1.2368022860888e-314
10
-1.497268223377421e-08
-4.2742691180387066e-21
-1.6071174332412006e-10
6
-1.2320363817285869e+45
-7.765421963151271e+43
-4.728969445617458e+44
8
-9.663902673474813e+162
-3.990648692615377e+159
-7.786974238903873e+161

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
078241
1107241
done107241

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s16045×body80valid