Details

Time bar (total: 10.4s)

sample116.0ms

Algorithm
intervals
Results
61.0ms69×body1280valid
20.0ms51×body640valid
7.0ms34×body320valid
4.0ms88×body80valid
3.0ms95×body80nan
2.0ms14×body160valid

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done5
15
04

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.5b

localize9.0ms

Local error

Found 1 expressions with local error:

3.7b
(log (+ 1.0 x))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod *-un-lft-identity
2×add-sqr-sqrt pow1 log-div add-exp-log add-cube-cbrt
1×expm1-log1p-u flip3-+ add-cbrt-cube rem-log-exp log-pow flip-+ log1p-expm1-u distribute-lft-out add-log-exp
Counts
1 → 17
Calls
1 calls:
4.0ms
(log (+ 1.0 x))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(log (+ 1.0 x))

simplify1.4s

Counts
20 → 20
Iterations
IterNodes
done5000
31662
2419
1131
060

prune98.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune15.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (* x x) x (* (* 1.0 1.0) 1.0))
0.3b
(- (log (fma (* x x) x (* (* 1.0 1.0) 1.0))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
12.9b
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
14.3b
(log (fma (* x x) x (* (* 1.0 1.0) 1.0)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
19×add-sqr-sqrt pow1
17×add-cube-cbrt
16×prod-diff
15×log-pow
12×log-prod
6×add-exp-log
4×expm1-log1p-u log-div add-cbrt-cube fma-neg log1p-expm1-u distribute-lft-out-- add-log-exp
3×associate--l+ associate--r+
2×flip3-+ rem-log-exp flip-+ associate--r-
1×sub-neg flip3-- diff-log fma-udef flip-- difference-of-squares
Counts
4 → 87
Calls
4 calls:
0.0ms
(fma (* x x) x (* (* 1.0 1.0) 1.0))
26.0ms
(- (log (fma (* x x) x (* (* 1.0 1.0) 1.0))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
22.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
2.0ms
(log (fma (* x x) x (* (* 1.0 1.0) 1.0)))

series855.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(fma (* x x) x (* (* 1.0 1.0) 1.0))
211.0ms
(- (log (fma (* x x) x (* (* 1.0 1.0) 1.0))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
91.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
447.0ms
(log (fma (* x x) x (* (* 1.0 1.0) 1.0)))

simplify1.9s

Counts
99 → 99
Iterations
IterNodes
done5000
21869
1437
0176

prune592.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (/ (* x x) 1.0) (/ x 1.0) (* x x))
0.1b
(* (/ x 1.0) (* (/ x 1.0) (/ x 1.0)))
11.2b
(fma (* x x) (* x 1.0) (- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0)))
13.1b
(- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
45×add-cbrt-cube add-exp-log
18×pow1 prod-exp cbrt-unprod
16×add-sqr-sqrt
13×cbrt-undiv *-un-lft-identity div-exp associate-*l* add-cube-cbrt
10×times-frac
6×add-log-exp
5×frac-times associate-*r/ pow-prod-up
4×expm1-log1p-u log1p-expm1-u
3×fma-neg prod-diff pow-prod-down associate-*l/ fma-udef
2×unswap-sqr
1×pow2 sub-neg pow-plus flip3-- diff-log cube-unmult associate-*r* associate--l+ pow-sqr *-commutative div-inv flip--
Counts
4 → 101
Calls
4 calls:
0.0ms
(fma (/ (* x x) 1.0) (/ x 1.0) (* x x))
46.0ms
(* (/ x 1.0) (* (/ x 1.0) (/ x 1.0)))
0.0ms
(fma (* x x) (* x 1.0) (- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0)))
5.0ms
(- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0))

series424.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(fma (/ (* x x) 1.0) (/ x 1.0) (* x x))
65.0ms
(* (/ x 1.0) (* (/ x 1.0) (/ x 1.0)))
144.0ms
(fma (* x x) (* x 1.0) (- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0)))
107.0ms
(- (fma (* (/ x 1.0) (* (/ x 1.0) (/ x 1.0))) 0.3333333333333333 (fma 0.5 (* (/ x 1.0) (/ x 1.0)) (* x 1.0))) (* (fma (/ (* x x) 1.0) (/ x 1.0) (* x x)) 1.0))

simplify1.5s

Counts
113 → 113
Iterations
IterNodes
done5001
22581
1474
0179

prune574.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes98.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 21.3b

bsearch2.0ms

simplify2.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.4s2308×body1280valid
473.0ms1644×body640valid
119.0ms806×body320valid
95.0ms2821×body80valid
93.0ms2729×body80nan
64.0ms421×body160valid