Details

Time bar (total: 18.4s)

sample80.0ms

Algorithm
intervals
Results
32.0ms513×body80valid

simplify5.1s

Counts
1 → 1
Iterations

Useful iterations: 5 (4.2s)

IterNodesCost
02831
16729
222127
375727
4262327
5439726
done500026

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
5.8b
(* (* (* x 18.0) y) z)
6.7b
(* (* (* (* x 18.0) y) z) t)

rewrite280.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:
17.0ms
(* (* x 18.0) y)
20.0ms
(* (* j 27.0) k)
53.0ms
(* (* (* x 18.0) y) z)
186.0ms
(* (* (* (* x 18.0) y) z) t)

series129.0ms

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

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: 2 (300.0ms)

IterNodesCost
0145974
1358944
21718738
done5000738

prune375.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
0.2b
(* (* j 27.0) k)
5.5b
(* (* x 18.0) (* y z))
6.7b
(* (* (* x 18.0) (* y z)) t)

rewrite656.0ms

Algorithm
rewrite-expression-head
Rules
39×pow1 add-exp-log add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
9×add-log-exp
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
4×expm1-log1p-u fma-def log1p-expm1-u
3×associate-+l+ associate-*l* *-commutative
2×sum-log
1×+-commutative associate-+l- sub-neg distribute-rgt-out-- flip3-+ diff-log prod-diff flip-+
Counts
4 → 95
Calls
4 calls:
519.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
17.0ms
(* (* j 27.0) k)
28.0ms
(* (* x 18.0) (* y z))
87.0ms
(* (* (* x 18.0) (* y z)) t)

series323.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
21.0ms
(* (* j 27.0) k)
30.0ms
(* (* x 18.0) (* y z))
55.0ms
(* (* (* x 18.0) (* y z)) t)

simplify1.3s

Counts
107 → 107
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01731385
14611305
219961040
done50011030

prune436.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c))
0.2b
(* (* j 27.0) k)
3.8b
(* (* y z) t)
6.7b
(* (* x 18.0) (* (* y z) t))

rewrite424.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
9×add-log-exp
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
4×expm1-log1p-u log1p-expm1-u
3×associate-+l+ fma-def associate-*l* *-commutative
2×sum-log
1×+-commutative associate-+l- sub-neg flip3-+ diff-log prod-diff flip-+
Counts
4 → 91
Calls
4 calls:
325.0ms
(+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c))
17.0ms
(* (* j 27.0) k)
19.0ms
(* (* y z) t)
59.0ms
(* (* x 18.0) (* (* y z) t))

series329.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c))
22.0ms
(* (* j 27.0) k)
28.0ms
(* (* y z) t)
55.0ms
(* (* x 18.0) (* (* y z) t))

simplify1.2s

Counts
103 → 103
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01711296
14541261
21924976
done5000966

prune432.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* 18.0 (* (* y z) t))
3.8b
(* (* y z) t)
6.6b
(* x (* 18.0 (* (* y z) t)))

rewrite210.0ms

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

series143.0ms

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

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0140966
1344940
21533740
done5000734

prune362.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes1.3s

Accuracy

67.5% (2.2b remaining)

Error of 2.3b against oracle of 0.1b and baseline of 6.9b

bsearch278.0ms

Steps
ItersRangePoint
10
5.0989767592999286e-27
1.3422286678180465e-16
3.9870601377316103e-19
7
-7.788389190255057e-84
-1.9271301002375024e-85
-4.231030079622035e-84

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
044101
16671
done6671

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.1s16106×body80valid