Details

Time bar (total: 12.0s)

sample30.0ms

Algorithm
intervals
Results
8.0ms275×body80valid
8.0ms290×body80nan

simplify88.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01214
12414
24714
37514
49214
510914
612414
715514
816614
done16614

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b
(* 3.0 (sqrt x))
0.3b
(/ y (* 3.0 (sqrt x)))
0.3b
(/ 1.0 (* x 9.0))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
63×*-un-lft-identity
56×prod-diff
42×add-cube-cbrt
30×times-frac
23×associate--l+
16×add-exp-log add-cbrt-cube
11×distribute-lft-out--
10×div-inv
9×add-log-exp difference-of-squares
6×pow1 associate-*r* associate-/l*
5×fma-neg
4×cbrt-undiv expm1-log1p-u div-exp sqrt-prod log1p-expm1-u
3×diff-log associate-*l* prod-exp cbrt-unprod
2×sub-neg flip3-- frac-2neg clear-num associate-/r* frac-sub flip-- unswap-sqr
1×associate--l- pow-prod-down *-commutative
Counts
4 → 154
Calls
4 calls:
61.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
5.0ms
(* 3.0 (sqrt x))
4.0ms
(/ y (* 3.0 (sqrt x)))
3.0ms
(/ 1.0 (* x 9.0))

series184.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
40.0ms
(* 3.0 (sqrt x))
67.0ms
(/ y (* 3.0 (sqrt x)))
19.0ms
(/ 1.0 (* x 9.0))

simplify1.3s

Counts
166 → 166
Iterations

Useful iterations: done (1.3s)

IterNodesCost
03093815
17623277
224152669
done50002648

prune426.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1 (- 1.0 (/ 1.0 (* x 9.0))) (/ (- (/ y (sqrt x))) 3.0))
0.3b
(/ (- (/ y (sqrt x))) 3.0)
0.3b
(/ y (sqrt x))
0.3b
(/ 1.0 (* x 9.0))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
309×times-frac
178×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
88×distribute-lft-neg-in distribute-rgt-neg-in
84×sqrt-prod
54×associate-/l*
13×add-exp-log add-cbrt-cube
11×div-inv
10×associate-/r*
4×pow1 cbrt-undiv expm1-log1p-u neg-mul-1 div-exp log1p-expm1-u add-log-exp
3×frac-2neg clear-num
1×neg-sub0 div-sub distribute-frac-neg prod-exp cbrt-unprod fma-udef associate-/l/ distribute-neg-frac
Counts
4 → 286
Calls
4 calls:
0.0ms
(fma 1 (- 1.0 (/ 1.0 (* x 9.0))) (/ (- (/ y (sqrt x))) 3.0))
24.0ms
(/ (- (/ y (sqrt x))) 3.0)
3.0ms
(/ y (sqrt x))
3.0ms
(/ 1.0 (* x 9.0))

series193.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(fma 1 (- 1.0 (/ 1.0 (* x 9.0))) (/ (- (/ y (sqrt x))) 3.0))
63.0ms
(/ (- (/ y (sqrt x))) 3.0)
51.0ms
(/ y (sqrt x))
18.0ms
(/ 1.0 (* x 9.0))

simplify898.0ms

Counts
298 → 298
Iterations

Useful iterations: done (888.0ms)

IterNodesCost
04744252
110283907
224163783
done50003775

prune874.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))))
0.0b
(+ (fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x)))) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) x) (+ (- (/ (cbrt 1.0) 9.0)) (/ (cbrt 1.0) 9.0))) (/ (/ y 3.0) (sqrt x))))
0.3b
(/ (/ y 3.0) (sqrt x))
0.4b
(* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
301×times-frac
182×add-sqr-sqrt
168×*-un-lft-identity
166×add-cube-cbrt
86×associate-+r+
82×prod-diff
81×sqrt-prod
30×add-exp-log
23×add-cbrt-cube
22×associate-*l*
17×div-inv
13×associate-/l*
11×cbrt-prod
10×cbrt-undiv div-exp
9×add-log-exp
8×prod-exp cbrt-unprod
7×associate-*r*
6×pow1 associate-/r* unswap-sqr
4×expm1-log1p-u log1p-expm1-u
3×fma-def
2×associate--l+ sum-log fma-udef
1×+-commutative distribute-rgt-in frac-times associate-+r- sub-neg associate-+l+ frac-2neg distribute-lft-in flip3-+ diff-log associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative flip-+ associate-/l/ distribute-lft-out
Counts
4 → 291
Calls
4 calls:
0.0ms
(fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))))
302.0ms
(+ (fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x)))) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) x) (+ (- (/ (cbrt 1.0) 9.0)) (/ (cbrt 1.0) 9.0))) (/ (/ y 3.0) (sqrt x))))
8.0ms
(/ (/ y 3.0) (sqrt x))
25.0ms
(* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))

series435.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))))
110.0ms
(+ (fma 1 1.0 (- (* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x)))) (- (* (/ (* (cbrt 1.0) (cbrt 1.0)) x) (+ (- (/ (cbrt 1.0) 9.0)) (/ (cbrt 1.0) 9.0))) (/ (/ y 3.0) (sqrt x))))
64.0ms
(/ (/ y 3.0) (sqrt x))
108.0ms
(* (/ (cbrt 1.0) 9.0) (/ (* (cbrt 1.0) (cbrt 1.0)) x))

simplify614.0ms

Counts
303 → 303
Iterations

Useful iterations: done (599.0ms)

IterNodesCost
06688677
119707502
done50017233

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma (/ (* (cbrt 1.0) (cbrt 1.0)) x) (- (/ (cbrt 1.0) 9.0) (/ (cbrt 1.0) 9.0)) (- (/ y (* (sqrt x) 3.0)))) (/ (/ (pow (cbrt 1.0) 3) x) 9.0))
0.2b
(* (sqrt x) 3.0)
0.3b
(/ (/ (pow (cbrt 1.0) 3) x) 9.0)
0.3b
(/ y (* (sqrt x) 3.0))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
1414×times-frac
898×add-sqr-sqrt
868×*-un-lft-identity
866×add-cube-cbrt
534×prod-diff
236×cbrt-prod unpow-prod-down cube-prod
61×associate-/l*
40×sqr-pow
39×cube-mult unpow3
21×add-exp-log
18×div-inv
16×add-cbrt-cube
9×div-exp
8×difference-of-squares
6×pow1 associate-*l* add-log-exp
5×cbrt-undiv
4×expm1-log1p-u associate-/r* sqrt-prod log1p-expm1-u
3×fma-neg associate-*r*
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×pow-to-exp sub-neg flip3-- diff-log pow-prod-down pow-exp associate--l+ *-commutative flip-- fma-udef associate-/l/ distribute-lft-out--
Counts
4 → 862
Calls
4 calls:
100.0ms
(- (fma (/ (* (cbrt 1.0) (cbrt 1.0)) x) (- (/ (cbrt 1.0) 9.0) (/ (cbrt 1.0) 9.0)) (- (/ y (* (sqrt x) 3.0)))) (/ (/ (pow (cbrt 1.0) 3) x) 9.0))
5.0ms
(* (sqrt x) 3.0)
25.0ms
(/ (/ (pow (cbrt 1.0) 3) x) 9.0)
4.0ms
(/ y (* (sqrt x) 3.0))

series274.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(- (fma (/ (* (cbrt 1.0) (cbrt 1.0)) x) (- (/ (cbrt 1.0) 9.0) (/ (cbrt 1.0) 9.0)) (- (/ y (* (sqrt x) 3.0)))) (/ (/ (pow (cbrt 1.0) 3) x) 9.0))
44.0ms
(* (sqrt x) 3.0)
27.0ms
(/ (/ (pow (cbrt 1.0) 3) x) 9.0)
69.0ms
(/ y (* (sqrt x) 3.0))

simplify1.5s

Counts
874 → 874
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0136172426
1338452467
done500152458

prune2.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes74.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01416
12116
done2116

end0.0ms

sample789.0ms

Algorithm
intervals
Results
269.0ms8545×body80valid
242.0ms8558×body80nan