Details

Time bar (total: 3.9s)

sample35.0ms

Algorithm
intervals
Results
12.0ms355×body80valid

simplify73.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0348
1838
22208
33848
44558
55638
65868
76778
89028
913228
1013228
done13228

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b
(* (* a 27.0) b)
0.5b
(* (* y 9.0) z)
5.7b
(* (* (* y 9.0) z) t)

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×associate-*l* *-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
8.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
17.0ms
(* (* a 27.0) b)
19.0ms
(* (* y 9.0) z)
56.0ms
(* (* (* y 9.0) z) t)

series167.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- (* x 2.0) (* (* (* y 9.0) z) t))
30.0ms
(* (* a 27.0) b)
31.0ms
(* (* y 9.0) z)
37.0ms
(* (* (* y 9.0) z) t)

simplify55.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0348371
11755309
25001309
done5001309

prune181.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 x) (* 9.0 (* t (* z y))))
0.2b
(* (* a 27.0) b)
0.3b
(* 9.0 (* t (* z y)))
5.3b
(* t (* z y))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l*
6×add-log-exp
5×associate-*r*
3×*-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
10.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
19.0ms
(* (* a 27.0) b)
40.0ms
(* 9.0 (* t (* z y)))
18.0ms
(* t (* z y))

series150.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
23.0ms
(* (* a 27.0) b)
29.0ms
(* 9.0 (* t (* z y)))
27.0ms
(* t (* z y))

simplify50.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0320367
11386305
25001305
done5001305

prune188.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 x) (* 9.0 (* t (* z y))))
0.2b
(* 27.0 (* a b))
0.3b
(* 9.0 (* t (* z y)))
5.3b
(* t (* z y))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*l*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×associate-*r* *-commutative
1×sub-neg flip3-- diff-log flip--
Counts
4 → 69
Calls
4 calls:
10.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
18.0ms
(* 27.0 (* a b))
40.0ms
(* 9.0 (* t (* z y)))
18.0ms
(* t (* z y))

series145.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- (* 2.0 x) (* 9.0 (* t (* z y))))
22.0ms
(* 27.0 (* a b))
28.0ms
(* 9.0 (* t (* z y)))
26.0ms
(* t (* z y))

simplify42.0ms

Counts
81 → 81
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0306366
11203304
25001304
done5001304

prune174.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 27.0 (* a b))
0.2b
(* (cbrt 9.0) (* t (* z y)))
0.3b
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
5.3b
(* t (* z y))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
55×pow1 add-exp-log
38×add-cbrt-cube
36×pow-prod-down prod-exp cbrt-unprod
13×associate-*l*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* *-commutative add-log-exp
3×cbrt-prod
Counts
4 → 94
Calls
4 calls:
17.0ms
(* 27.0 (* a b))
59.0ms
(* (cbrt 9.0) (* t (* z y)))
127.0ms
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
18.0ms
(* t (* z y))

series201.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* 27.0 (* a b))
67.0ms
(* (cbrt 9.0) (* t (* z y)))
88.0ms
(* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* t (* z y))))
26.0ms
(* t (* z y))

simplify48.0ms

Counts
106 → 106
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0361663
11500473
25001436
done5001436

prune221.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes697.0ms

Accuracy

86.4% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 3.7b

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05629
15629
done5629

end0.0ms

sample887.0ms

Algorithm
intervals
Results
396.0ms10954×body80valid